Kaiserslautern - Fachbereich Informatik
Refine
Year of publication
- 1998 (1)
Document Type
- Preprint (1)
Language
- English (1)
Has Fulltext
- yes (1)
Keywords
- automated proof planner (1) (remove)
Faculty / Organisational entity
The paper addresses two problems of comprehensible proof presentation, the hierarchically structured presentation at the level of proof methods and different presentation styles of construction proofs. It provides solutions for these problems that can make use of proof plans generated by an automated proof planner.