Commenting Proofs
dc.date.accessioned | 2004-10-04T14:46:29Z | |
dc.date.accessioned | 2018-11-24T10:12:29Z | |
dc.date.available | 2004-10-04T14:46:29Z | |
dc.date.available | 2018-11-24T10:12:29Z | |
dc.date.issued | 1974-05-01 | en_US |
dc.identifier.uri | http://hdl.handle.net/1721.1/6223 | |
dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/1721.1/6223 | |
dc.description.abstract | This 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.extent | 1147455 bytes | |
dc.format.extent | 814678 bytes | |
dc.language.iso | en_US | |
dc.title | Commenting Proofs | en_US |
Files in this item
Files | Size | Format | View |
---|---|---|---|
AIM-309.pdf | 814.6Kb | application/pdf | View/ |
AIM-309.ps | 1.147Mb | application/postscript | View/ |