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)