Title
Research in Advanced Formal Theorem-Proving Techniques [Final Report]
Catalog Number
102720791
Type
Document
Date
1973
Author
Raphael, Bertram; Fikes, Richard E.; Waldinger, Richard J.
Publisher
Stanford Research Institute (SRI). Artificial Intelligence Center
Extent
1 folder
Category
Memoranda
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Lisp history by year
Credit
Gift of Herbert Stoyan