Artifact Details

Title

ATMS : Assunption-based Truth Maintenace System [Original Design]

Catalog Number

102719409

Type

Text

Date

1986

Author

Winkelmann, K.

Extent

1 folder

Description

Document for design and corresponding program listing.

Category

Technical Paper or Note

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010