Artifact Details

Title

STP - A Semantic Theorem Prover

Catalog Number

102720729

Type

Text

Date

1968

Author

Sussman, J. A.

Publisher

Massachusetts Institute of Technology (MIT)

Extent

1 folder

Category

Memoranda

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010