Reconstructing proofs at the assertion level
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 738-752
- https://doi.org/10.1007/3-540-58156-1_53
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- The use of explicit plans to guide inductive proofsPublished by Springer Nature ,2010
- An explanatory framework for human theorem provingPublished by Springer Nature ,2005
- Applications of Assertions as Elementary Tactics in Proof PlanningPublished by Elsevier ,1992
- Learning Plan Schemata from Observation: Explanation-Based Learning for Plan RecognitionCognitive Science, 1990
- Presenting intuitive deductions via symmetric simplificationPublished by Springer Nature ,1990
- Transforming matings into natural deduction proofsPublished by Springer Nature ,1980
- Edinburgh LCFLecture Notes in Computer Science, 1979
- Learning and executing generalized robot plansArtificial Intelligence, 1972
- Halbgruppen und AutomatenPublished by Springer Nature ,1971
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935