Artifact Details

Title

Introducing iteration into the pure lisp theorem prover

Catalog Number

102653436

Type

Document

Date

1974-12

Author

Moore, J. Strother

Publisher

Xerox PARC (Palo Alto Research Center)

Category

Technical Report

Credit

Gift of Mike Rutenberg

Lot Number

X2295.2002