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 BibTeX

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