Truth maintenance systems for problem solving.

Truth maintenance systems for problem solving.

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.

Bibliographic Details
Main Author: Doyle, Jon
Other Authors: Gerald Jay Sussman.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2007
Subjects:
Electrical Engineering and Computer Science
Artificial intelligence
Problem solving
Automatic theorem proving
Online Access:http://hdl.handle.net/1721.1/38910

Internet

http://hdl.handle.net/1721.1/38910

Similar Items