• search hit 2 of 17
Back to Result List

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.

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Author:Erica Melis
URN (permanent link):urn:nbn:de:hbz:386-kluedo-3937
Serie (Series number):SEKI Report (98,8)
Document Type:Preprint
Language of publication:English
Year of Completion:1998
Year of Publication:1998
Publishing Institute:Technische Universität Kaiserslautern
Date of the Publication (Server):2000/04/03
Tag:automated proof planner; proof presentation
Faculties / Organisational entities:Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011