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

12. LPAR 2005: Montego Bay, Jamaica

Geoff Sutcliffe, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings. Lecture Notes in Computer Science 3835 Springer 2005, ISBN 3-540-30553-X 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)