Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /

Bibliographic Details
Corporate Authors:	LPAR Havana, Cuba, SpringerLink (Online service)
Other Authors:	Nieuwenhuis, Robert, Voronkov, Andrei, 1959-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, 2001.
Series:	Lecture notes in computer science ; 2250. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Logic programming > Congresses. Programmation logique > Congrès. Logic programming. Automatisches Beweisverfahren. Kongress. Kongre€. Logische Programmierung. Programmierlogik. Electronic books. Kongress > Tʻbilisi > 2002. Kongre€ > Havanna > 2001. Conference proceedings. Havanna (2001) Tiflis (2002)
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Conference proceedings. Electronic resource.
Physical Description:	1 online resource (xv, 738 pages) : illustrations
Bibliography:	Includes bibliographical references.
ISBN:	3540429573 9783540429579
ISSN:	0302-9743 ;