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

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001. The 40 revised full papers presented together with an invited paper were carefully reviewed and sele...

Full description

Bibliographic Details
Corporate Authors:	LPAR (Conference) Havana, Cuba), LPAR (Conference)
Other Authors:	Nieuwenhuis, Robert, Voronkov, A (Andreĭ), 1959-, Voronkov, Andrei, 1959-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin : Springer, 2001 Berlin ; Heidelberg : ©2001 Berlin ; New York : 2001 Berlin ; New York : c2001
Series:	Lecture notes in computer science ; 2250 Lecture notes in computer science Lecture notes in artificial intelligence Lecture notes in computer science Lecture notes in artificial intelligence. Lecture notes in computer science 2250
Subjects:	Logic programming > Congresses Logic programming Electronic books Online resources Conference papers and proceedings

Internet

Stanford University

Holdings details from Stanford University
Call Number:	ISIL:US-CST QA76.63 .L73 2001

Yale University

Holdings details from Yale University
Call Number:	QA76 A1 L43 2250 (LC)

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA76.63.R87 2001

Brown University