17. CADE 2000:
Pittsburgh, PA, USA David A. McAllester (Ed.):
Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings.
Lecture Notes in Computer Science 1831 Springer 2000, ISBN 3-540-67664-3 Invited Talk
export record as
dblp key:
John Harrison :
High-Level Verification Using Theorem Proving and Formalized Mathematics.
1-6
Session 1:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 2:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 3:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Carsten Sinz :
System Description: ARA - An Automatic Theorem Prover for Relation Algebras.
177-182
Invited Talk
export record as
dblp key:
Henry A. Kautz :
Scalable Knowledge Representation and Reasoning Systems.
183
Session 4:
export record as
dblp key:
export record as
dblp key:
Peter Baumgartner :
FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure.
200-219
export record as
dblp key:
Invited Talk
export record as
dblp key:
Carl-Johan H. Seger :
Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice.
235
Session 5:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/cade/Patel-Schneider00 export record as
dblp key:
Session 6:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/cade/BorrallerasFR00
Session 7:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 8:
export record as
dblp key:
Guillaume Gillard :
A Formalization of a Concurrent Object Calculus up to alpha-Conversion.
417-432
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Andreas Meier :
System Description: TRAMP: Transformation of Machine-Found Proofs into ND-Proofs at the Assertion Level.
460-464
Session 9:
export record as
dblp key:
conf/cade/Sofronie-Stokkermans00 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Tutorials
export record as
dblp key:
export record as
dblp key:
Stephen G. Pulman :
Tutorial: Automated Deduction and Natural Language Understanding.
509-510
export record as
dblp key:
Workshops
export record as
dblp key:
conf/cade/BaumgartnerFPZ00 export record as
dblp key:
export record as
dblp key:
Didier Galmiche :
Workshop: Type-Theoretic Languages: Proof-Search and Semantics.
515
export record as
dblp key:
Erica Melis :
Workshop: Automated Deduction in Education.
516
export record as
dblp key:
data released under the ODC-BY 1.0 license
