Show simple item record

Commenting Proofs

dc.date.accessioned2004-10-04T14:46:29Z
dc.date.accessioned2018-11-24T10:12:29Z
dc.date.available2004-10-04T14:46:29Z
dc.date.available2018-11-24T10:12:29Z
dc.date.issued1974-05-01en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/6223
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/6223
dc.description.abstractThis paper constitutes a summary of a seminar entitled "Commenting Proofs" given a the Artificial Intelligence Laboratory during the spring of 1974. The work is concerned with new syntactic structures in formal proofs which derive from their pragmatic and semantic aspects. It is a synthesis of elements from Yessenin-Volpin's foundational studies and developments in Artificial Intelligence concerned with commenting programs and the use of this idea in automatic debugging procedures.en_US
dc.format.extent1147455 bytes
dc.format.extent814678 bytes
dc.language.isoen_US
dc.titleCommenting Proofsen_US


Files in this item

FilesSizeFormatView
AIM-309.pdf814.6Kbapplication/pdfView/Open
AIM-309.ps1.147Mbapplication/postscriptView/Open

This item appears in the following Collection(s)

Show simple item record