Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings

Bibliographic Details
Other Authors: Vardi, Moshe (Editor), Voronkov, Andrei (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2003, 2003
Edition:1st ed. 2003
Series:Lecture Notes in Artificial Intelligence
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:XI, 436 p online resource
ISBN:9783540398134