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

14. LPAR 2007: Yerevan, Armenia

Nachum Dershowitz, Andrei Voronkov (Eds.): Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings. Lecture Notes in Computer Science 4790 Springer 2007, ISBN 978-3-540-75558-6 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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