| dc.creator | Hewitt, Carl | |
| dc.date | 2004-10-04T14:43:07Z | |
| dc.date | 2004-10-04T14:43:07Z | |
| dc.date | 1967-07-01 | |
| dc.date.accessioned | 2013-10-09T02:43:18Z | |
| dc.date.available | 2013-10-09T02:43:18Z | |
| dc.date.issued | 2013-10-09 | |
| dc.identifier | AIM-137 | |
| dc.identifier | http://hdl.handle.net/1721.1/6144 | |
| dc.identifier.uri | http://koha.mediu.edu.my:8181/xmlui/handle/1721 | |
| dc.description | The following is a description of SCHEMATISE, a proposal for a program that proves very elementary theorems though the use of planning. The method is most easily explained through an example die to Black. | |
| dc.format | 51224292 bytes | |
| dc.format | 1565807 bytes | |
| dc.format | application/postscript | |
| dc.format | application/pdf | |
| dc.language | en_US | |
| dc.relation | AIM-137 | |
| dc.title | PLANNER: A Language for Proving Theorems |
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||