Title
ATMS : Assunption-based Truth Maintenace System [Original Design]
Catalog Number
102719409
Type
Document
Description
Document for design and corresponding program listing.
Date
1986
Author
Winkelmann, K.
Extent
1 folder
Category
Technical Paper or Note
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Lisp history by year
Credit
Gift of Herbert Stoyan