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