User-oriented theorem proving with the ATINF graphic proof editor
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- An application of many-valued logic to decide propositional S5 formulae: a strategy designed for a parameterized tableaux-based Theorem ProverPublished by Elsevier ,1990
- The Use of Renaming to Improve the Efficiency of Clausal Theorem ProvingPublished by Elsevier ,1990
- Concept LogicsPublished by Springer Nature ,1990
- First-Order Logic and Automated Theorem ProvingPublished by Springer Nature ,1990
- The foundation of a generic theorem proverJournal of Automated Reasoning, 1989
- The calculus of constructionsInformation and Computation, 1988
- Obvious inferencesJournal of Automated Reasoning, 1987
- Social processes and proofs of theorems and programsCommunications of the ACM, 1979
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Computer programs for checking mathematical proofsProceedings of Symposia in Pure Mathematics, 1962