Title
QA4 : A Procedural Calculus for Intuitive Reasoning
Catalog Number
102720779
Type
Document
Description
Stanford Research Institute (SRI), A.I. Center, Technical Note 73, SRI Project 8721, Stanford, Nov. 1972.
Date
1972-11
Author
Rulifson, Jeff; Derksen, Jan A.; Waldinger, Richard J.
Publisher
Stanford Research Institute (SRI)
Extent
1 folder
Category
Technical Report
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Lisp history by year
Credit
Gift of Herbert Stoyan