Please use this identifier to cite or link to this item:
http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6223| Title: | Commenting Proofs |
| Issue Date: | 9-Oct-2013 |
| Description: | 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. |
| URI: | http://koha.mediu.edu.my:8181/xmlui/handle/1721 |
| Other Identifiers: | AIM-309 http://hdl.handle.net/1721.1/6223 |
| Appears in Collections: | MIT Items |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.