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

21. CADE 2007: Bremen, Germany - ESARLT

Geoff Sutcliffe, Josef Urban, Stephan Schulz (Eds.): Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007. CEUR Workshop Proceedings 257 CEUR-WS.org 2007 BibTeX

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