Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings /

This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003. The 27 revised full papers presented together with 3 invited papers were carefully reviewed and s...

Full description

Bibliographic Details
Corporate Authors: LPAR (Conference) Alma-Ata, Kazakhstan), LPAR (Conference)
Other Authors: Vardi, Moshe Y, Voronkov, Andrei, 1959-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c2003
Berlin ; New York : ©2003
Series:Lecture notes in computer science ; 2850
Lecture notes in computer science Lecture notes in artificial intelligence.
Lecture notes in computer science 2850
Subjects:

Internet

Stanford University

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

Massachusetts Institute of Technology

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

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number: QA76.63.L735 2003