Artifact Details

Title

Introducing Iteration into the Pure LISP Theorem Prover

Catalog Number

102720848

Type

Document

Date

1975

Author

Moore, J. Strother

Publisher

IEEE Transactions on Software Engineering

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