PLANNER: A Language for Proving Theorems

Author(s)
Hewitt, Carl
Thumbnail
DownloadAIM-137.ps (48.85Mb)
Additional downloads
Metadata
Show full item record
Abstract
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.
Date issued
1967-07-01
URI
http://hdl.handle.net/1721.1/6144
Other identifiers
AIM-137
Series/Report no.
AIM-137
Collections