Presenting machine-found proofs
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 221-225
- https://doi.org/10.1007/3-540-61511-3_83
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Translating machine-generated resolution proofs into ND-proofs at the assertion levelPublished by Springer Nature ,1996
- Planning argumentative textsPublished by Association for Computational Linguistics (ACL) ,1994
- Ω-MKRP: A proof development environmentLecture Notes in Computer Science, 1994
- Reconstructing proofs at the assertion levelPublished by Springer Nature ,1994
- Transforming matings into natural deduction proofsPublished by Springer Nature ,1980
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935