Integration of automated and interactive theorem proving in ILF
- 1 January 1997
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Natural Language Presentation and Combination of Automatically Generated ProofsPublished by Springer Nature ,1996
- SPASS & FLOTTER version 0.42Lecture Notes in Computer Science, 1996
- DISCOUNT: A system for distributed equational deductionLecture Notes in Computer Science, 1995
- KoMeTPublished by Springer Nature ,1994
- SETHEO V3.2: Recent developmentsLecture Notes in Computer Science, 1994
- The TPTP problem libraryPublished by Springer Nature ,1994
- Otter 2.0Lecture Notes in Computer Science, 1990