Truth maintenance systems for problem solving.
Thesis. 1977. M.S.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2007
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/38910 |
| _version_ | 1811070716031795200 |
|---|---|
| author | Doyle, Jon |
| author2 | Gerald Jay Sussman. |
| author_facet | Gerald Jay Sussman. Doyle, Jon |
| author_sort | Doyle, Jon |
| collection | MIT |
| description | Thesis. 1977. M.S.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. |
| first_indexed | 2024-09-23T08:40:26Z |
| format | Thesis |
| id | mit-1721.1/38910 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T08:40:26Z |
| publishDate | 2007 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/389102019-04-09T19:07:36Z Truth maintenance systems for problem solving. Doyle, Jon Gerald Jay Sussman. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science Electrical Engineering and Computer Science Artificial intelligence Problem solving Automatic theorem proving Thesis. 1977. M.S.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING. Bibliography: leaves 157-158. M.S. 2007-09-28T13:05:39Z 2007-09-28T13:05:39Z 1977 Thesis http://hdl.handle.net/1721.1/38910 05243001 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 135 leaves application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science Artificial intelligence Problem solving Automatic theorem proving Doyle, Jon Truth maintenance systems for problem solving. |
| title | Truth maintenance systems for problem solving. |
| title_full | Truth maintenance systems for problem solving. |
| title_fullStr | Truth maintenance systems for problem solving. |
| title_full_unstemmed | Truth maintenance systems for problem solving. |
| title_short | Truth maintenance systems for problem solving. |
| title_sort | truth maintenance systems for problem solving |
| topic | Electrical Engineering and Computer Science Artificial intelligence Problem solving Automatic theorem proving |
| url | http://hdl.handle.net/1721.1/38910 |
| work_keys_str_mv | AT doylejon truthmaintenancesystemsforproblemsolving |