14. CADE 1997:
Townsville,
North Queensland,
Australia
William McCune (Ed.):
Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings.
Lecture Notes in Computer Science 1249 Springer 1997, ISBN 3-540-63104-6 BibTeX
@proceedings{DBLP:conf/cade/1997,
editor = {William McCune},
title = {Automated Deduction - CADE-14, 14th International Conference
on Automated Deduction, Townsville, North Queensland, Australia,
July 13-17, 1997, Proceedings},
booktitle = {CADE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1249},
year = {1997},
isbn = {3-540-63104-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Session 1:
Invited Lecture
- Wu Wen-Tsün:
The Char-Set Method and Its Applications to Automated Reasoning.
1-3 BibTeX
Session 2
Session 3:
System Descriptions
Session 4
Session 5
Session 6
Session 7:
Invited Lecture
- Moshe Y. Vardi:
Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics.
191-206 BibTeX
Session 8
Session 9:
System Descriptions
- Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge:
Omega: Towards a Mathematical Assistant.
252-255 BibTeX
- Thomas Kolbe, Jürgen Brauburger:
Plagiator - A Learning Prover.
256-259 BibTeX
- Dirk Fuchs, Matthias Fuchs:
CODE: A Powerful Prover for Problems of Condensed Detachment.
260-263 BibTeX
- Fausto Giunchiglia, Marco Roveri, Roberto Sebastiani:
A New Method for Testing Decision Procedures in Modal Logics.
264-267 BibTeX
- John K. Slaney:
Minlog: A Minimal Logic Theorem Prover.
268-271 BibTeX
- Hantao Zhang:
SATO: An Efficient Propositional Prover.
272-275 BibTeX
Session 10
Session 11
Session 12
Session 13:
System Descriptions
Session 14
Copyright © Sat May 16 23:00:05 2009
by Michael Ley (ley@uni-trier.de)