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

9. LPAR 2002: Tbilisi, Georgia

Matthias Baaz, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings. Lecture Notes in Computer Science 2514 Springer 2002, ISBN 3-540-00010-0 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Nov 2 20:57:21 2009 by Michael Ley (ley@uni-trier.de)