You have Guest access.
Log In
Marc Fuchs and Andreas Wolf
Book Chapter
Cooperation between top-down and bottom-up theorem provers by subgoal clause transfer
Dirk Fuchs
Lecture Notes in Computer Science, 1998, Volume 1476, Artificial Intelligence and Symbolic Computation, Pages 157-169
Acquisition of useful lemma-knowledge in automated reasoning
Joachim Draeger
Lecture Notes in Computer Science, 1998, Volume 1480, Artificial Intelligence: Methodology, Systems, and Applications, Pages 230-239
A Prolog-technology compiler for query-answering
Lecture Notes in Computer Science, 1997, Volume 1409, The Automation of Reasoning with Incomplete Information, Pages 135-142
Applications of Automated Reasoning
Ulrich Furbach and Claudia Obermaier
Lecture Notes in Computer Science, 2007, Volume 4314, KI 2006: Advances in Artificial Intelligence, Pages 174-187
Lemma matching for a PTTP-based top-down theorem prover
Koji Iwanuma
Lecture Notes in Computer Science, 1997, Volume 1249, Automated Deduction—CADE-14, Pages 146-160
Directed Automated Theorem Proving
Stefan Edelkamp and Peter Leven
Lecture Notes in Computer Science, 2002, Volume 2514, Logic for Programming, Artificial Intelligence, and Reasoning, Pages 145-159
A mizar mode for HOL
John Harrison
Lecture Notes in Computer Science, 1996, Volume 1125, Theorem Proving in Higher Order Logics, Pages 203-220
Partheo: A high-performance parallel theorem prover
J. Schumann and R. Letz
Lecture Notes in Computer Science, 1990, Volume 449, 10th International Conference on Automated Deduction, Pages 40-56
Strategy selection for automated theorem proving
Andreas Wolf
Lecture Notes in Computer Science, 1998, Volume 1480, Artificial Intelligence: Methodology, Systems, and Applications, Pages 452-465
Journal Article
The Disconnection Tableau Calculus
Reinhold Letz and Gernot Stenz
Journal of Automated Reasoning, 2007, Volume 38, Numbers 1-3, Pages 79-126
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info