9. CADE 1988:
Argonne,
Illinois,
USA
Ewing L. Lusk, Ross A. Overbeek (Eds.):
9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings.
Lecture Notes in Computer Science 310 Springer 1988, ISBN 3-540-19343-X BibTeX
@proceedings{DBLP:conf/cade/1988,
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {9th International Conference on Automated Deduction, Argonne,
Illinois, USA, May 23-26, 1988, Proceedings},
booktitle = {CADE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {310},
year = {1988},
isbn = {3-540-19343-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Session 1
Session 2
Session 3
Session 4
Session 5
Session 6
Session 7
Session 8
Session 9
Session 10
Session 11
Session 12
Session 13
Session 14
Session 15
Session 16
Session 17
Session 18
Session 19
Session 20
System Abstracts
- Matt Kaufmann:
An Interactive Enhancement to the Boyer-Moore Theorem Prover.
735-736 BibTeX
- David A. Plaisted:
A Goal Directed Theorem Prover.
737 BibTeX
- Bill Pase, Sentot Kromodimoeljo:
m-NEVER System Summary.
738-739 BibTeX
- Timothy Griffin:
EFS - An Interactive Environment for Formal Systems.
740-741 BibTeX
- David A. McAllester:
Ontic: A Knowledge Representation System for Mathematics.
742-743 BibTeX
- Thierry Boy de la Tour, Ricardo Caferra, Gilles Chaminade:
Some Tools for an Inference Laboratory (ATINF).
744-745 BibTeX
- V. S. Subrahmanian, Zerksis D. Umrigar:
QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems.
746-747 BibTeX
- Stephen J. Garland, John V. Guttag:
LP: The Larch Prover.
748-749 BibTeX
- Mark E. Stickel:
The KLAUS Automated Deduction System.
750-751 BibTeX
- Mark E. Stickel:
A Prolog Technology Theorem Prover.
752-753 BibTeX
- Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov:
Lambda-Prolog: An Extended Logic Programming Language.
754-755 BibTeX
- Frank M. Brown, Seung S. Park:
SYMEVAL: A Theorem Prover Based on the Experimental Logic.
756-757 BibTeX
- Frank M. Brown, Seung S. Park, Jim Phelps:
ZPLAN: An Automatic Reasoning System for Situations.
758-759 BibTeX
- Peter B. Andrews, Sunil Issar, Daniel Nesmith, Frank Pfenning:
The TPS Theorem Proving System.
760-761 BibTeX
- Pierre Bieber, Luis Fariñas del Cerro, Andreas Herzig:
MOLOG: a Modal PROLOG.
762-763 BibTeX
- P. E. Allen, Soumitra Bose, Edmund M. Clarke, Spiro Michaylov:
PARTHENON: A Parallel Theorem Prover for Non-Horn Clauses.
764-765 BibTeX
- Bruce T. Smith, Donald W. Loveland:
An nH-Prolog Implementation.
766-767 BibTeX
- Deepak Kapur, Hantao Zhang:
RRL: A Rewrite Rule Laboratory.
768-769 BibTeX
- David Cyrluk, Richard M. Harris, Deepak Kapur:
GEOMETER: A Theorem Prover for Algebraic Geometry.
770-771 BibTeX
- Lawrence C. Paulson:
Isabelle: The Next Seven Hundred Theorem Provers.
772-773 BibTeX
- Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold:
The CHIP System: Constraint Handling In Prolog.
774-775 BibTeX
Copyright © Sat May 16 23:00:04 2009
by Michael Ley (ley@uni-trier.de)
