KEIM: A toolkit for automated deduction-Reference-Cited by-同舟云学术

KEIM: A toolkit for automated deduction

Published:1994 Issue: Volume: Page:807-810
ISSN:0302-9743
Container-title:Automated Deduction — CADE-12
language:
Short-container-title:

Author:

Huang Xiaorong,Kerber Manfred,Kohlhase Michael,Melis Erica,Nesmith Dan,Richts Jörn,Siekmann Jörg

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58156-1_65.pdf

Reference5 articles.

1. P. Graf: Path Indexing for Term Retrieval. Technical Report MPI-I-92-237, Max-Planck-Institut für Informatik, Saarbrücken, Germany, 1992.

2. X. Huang et al.: Ω-MKRP, A Proof Development Environment. In these proceedings.

3. D. Nesmith, editor: KEIM-Manual version 1.2. Universität des Saarlandes, Im Stadtwald, Saarbrücken, Germany, 1994.

4. J. Richts and D. Nesmith: Implementing Simple Theorem Provers in KEIM: Case Studies. To appear as a SEKI Report, Universität des Saarlandes, Im Stadtwald, Saarbrücken, Germany.

5. G. Steele: Common Lisp, second edition. Digital Press, Boston, 1990.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. From MKRP to ΩMEGA;Lecture Notes in Computer Science;2005

2. Towards Semantic Goal-Directed Forward Reasoning in Resolution;Artificial Intelligence: Methodology, Systems, and Applications;2002

3. Semantic Selection for Resolution in Clause Graphs;Lecture Notes in Computer Science;2002

4. UniMoK: A System for Combining Equational Unification Algorithms;Rewriting Techniques and Applications;1999

5. Developing Deduction Systems: The Toolbox Style;Applied Logic Series;1998