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 BibTeX

Copyright © Sat May 16 23:29:00 2009 by Michael Ley (ley@uni-trier.de)