ESARLT

200720072007

Keyphrases

Publications

2007

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

volume 257, 2007

Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007 ESARLT 257 (2007)