Showing posts with label 'We really don't know how to compute". Show all posts
Showing posts with label 'We really don't know how to compute". Show all posts

Saturday, December 3, 2011

Gerald J Sussman -- 'We really don't know how to compute" lecture outlinks

Truth Maintenance Systems for Problem Solving:
http://dspace.mit.edu/handle/1721.1/6926

Building Problem Solvers (Artificial Intelligence) [Hardcover]:
http://goo.gl/kfBB6

Truth maintenance systems (Tutorial) [Unknown Binding]:
http://goo.gl/nRESM
Truth Maintenance Systems: Tutorial Program [Paperback]:
http://goo.gl/HSNcf