Loading...
Please wait, while we are loading the content...
Similar Documents
Research in advanced formal theorem-proving techniques. [design and implementation of computer languages
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Waldinger, R. Fikes, R. Raphael, B. |
| Copyright Year | 1973 |
| Description | The results are summarised of a project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot planning. The principal results of the project were the design and implementation of two complete systems, QA4 and QLISP, and their preliminary experimental use. The various applications of both QA4 and QLISP are given. |
| File Size | 1754445 |
| Page Count | 67 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19740002065 |
| Archival Resource Key | ark:/13960/t72v79q0r |
| Language | English |
| Publisher Date | 1973-08-01 |
| Access Restriction | Open |
| Subject Keyword | Systems Engineering Theorem Proving Automata Theory Trees Mathematics Artificial Intelligence Programming Languages Robots Ntrs Nasa Technical Reports ServerĀ (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |