Proof Presentation Based on Proof Plans
- 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.
Verfasser*innenangaben: | Erica Melis |
---|---|
URN: | urn:nbn:de:hbz:386-kluedo-3937 |
Schriftenreihe (Bandnummer): | SEKI Report (98,8) |
Dokumentart: | Preprint |
Sprache der Veröffentlichung: | Englisch |
Jahr der Fertigstellung: | 1998 |
Jahr der Erstveröffentlichung: | 1998 |
Veröffentlichende Institution: | Technische Universität Kaiserslautern |
Datum der Publikation (Server): | 03.04.2000 |
Freies Schlagwort / Tag: | automated proof planner; proof presentation |
Fachbereiche / Organisatorische Einheiten: | Kaiserslautern - Fachbereich Informatik |
DDC-Sachgruppen: | 0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik |
Lizenz (Deutsch): | Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011 |