Truth maintenance systems for problem solving.

Thesis. 1977. M.S.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.

Bibliographic Details
Main Author:	Doyle, Jon
Other Authors:	Gerald Jay Sussman.
Format:	Thesis
Language:	eng
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