Artifact Details

Title

Truth Maintenance Program

Catalog Number

102719298

Type

Text

Date

1984-07

Author

Forbus, Kenneth D.

Publisher

Massachusetts Institute of Technology (MIT)

Extent

1 folder

Description

Thesis: "Qualitative Process theory," TR-789, MIT Artificial Intelligence laboratory, July 1984.

Category

Program Listing

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010