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
Last update Sun May 26 00:53:29 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page