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

15. LPAR Workshops 2008: Doha, Qatar

Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz (Eds.): Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008. CEUR Workshop Proceedings 418 CEUR-WS.org 2008 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Mon Nov 9 23:58:15 2009 by Michael Ley (ley@uni-trier.de)