dblp.uni-trier.de www.uni-trier.de

10. LPAR 2003: Almaty, Kazakhstan

Moshe Y. Vardi, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings. Lecture Notes in Computer Science 2850 Springer 2003, ISBN 3-540-20101-7 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Nov 24 20:37:50 2009 by Michael Ley (ley@uni-trier.de)