Please use this identifier to cite or link to this item:
http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6223Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.creator | Geiser, James R. | - |
| dc.date | 2004-10-04T14:46:29Z | - |
| dc.date | 2004-10-04T14:46:29Z | - |
| dc.date | 1974-05-01 | - |
| dc.date.accessioned | 2013-10-09T02:44:16Z | - |
| dc.date.available | 2013-10-09T02:44:16Z | - |
| dc.date.issued | 2013-10-09 | - |
| dc.identifier | AIM-309 | - |
| dc.identifier | http://hdl.handle.net/1721.1/6223 | - |
| dc.identifier.uri | http://koha.mediu.edu.my:8181/xmlui/handle/1721 | - |
| dc.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. | - |
| dc.format | 1147455 bytes | - |
| dc.format | 814678 bytes | - |
| dc.format | application/postscript | - |
| dc.format | application/pdf | - |
| dc.language | en_US | - |
| dc.relation | AIM-309 | - |
| dc.title | Commenting Proofs | - |
| 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.