Title
QA4 reports
Catalog Number
102720442
Type
Document
Description
Technical Report: QA4: A Procedural Calculus for Intuitive Reasoning (SRI Artificial Intelligence Center Technical Note 73); A Language for Writing Problem-Solving Programs (Information Processing 1971); The QA4 language applied to robot planning (AFIPS 1972 FJCC); Reasoning About Programs (Artificial Intelligence, Volume 5, 1974)
Date
1971-1972
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
Manuals, manuscripts, and subject files; Assorted languages
Credit
Gift of Herbert Stoyan