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

Main Author: Vardi, Moshe
Other Authors: Voronkov, Andrei
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2003
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Physical Description:v. digital
ISBN:9783540201014
978-3-540-20101-4