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

Leonardo Mendonça de Moura:
Invited talk: Developing Efficient SMT Solvers.
Tim Hinrichs, Michael R. Genesereth:
Extensional Reasoning.
Petr Pudlak:
Semantic Selection of Premisses for Automated Theorem Proving.
Josef Urban:
MaLARea: a Metasystem for Automated Reasoning in Large Theories.
Keith Goolsbey:
Invited talk: Cyc Design Challenges and Solutions.
Adam Pease, Geoff Sutcliffe:
First Order Reasoning on a Large Ontology.