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

- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/Moura07
- ask others
Leonardo Mendonça de Moura: Invited talk: Developing Efficient SMT Solvers.
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/HinrichsG07
- ask others
Tim Hinrichs, Michael R. Genesereth: Extensional Reasoning.
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/Pudlak07
- ask others
Petr Pudlak: Semantic Selection of Premisses for Automated Theorem Proving.
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/Urban07
- ask others
Josef Urban: MaLARea: a Metasystem for Automated Reasoning in Large Theories.
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/Goolsbey07
- ask others
Keith Goolsbey: Invited talk: Cyc Design Challenges and Solutions.
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/PeaseS07
- ask others
Adam Pease, Geoff Sutcliffe: First Order Reasoning on a Large Ontology.