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

PAAR/ESHOL 2008: Sydney, NSW, Australia

Boris Konev, Renate A. Schmidt, Stephan Schulz (Eds.): Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008. CEUR Workshop Proceedings 373 CEUR-WS.org 2008 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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