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
21. CADE 2007:
Bremen, Germany - ESARLT
: Semantic Selection of Premisses for Automated Theorem Proving.
: MaLARea: a Metasystem for Automated Reasoning in Large Theories.