LeanT A P: Lean tableau-based theorem proving
Authors:
- 1 January 1994
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 793-797
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- LeanT A P: Lean tableau-based theorem provingLecture Notes in Computer Science, 1994
- Relative Complexities of First Order Calculi1992
- First-Order Logic and Automated Theorem Proving1990
- Seventy-five problems for testing automatic theorem proversJournal of Automated Reasoning, 1986