Title
QA4 documentation from UCI AI Library
Catalog Number
102719695
Type
Document
Description
Combines fierst two chapters of "QA4: A Procedural Calculus for Intuitive Reasoning" by Rulifson, Derkson, and Waldinger with additional material and a tutorial.
Date
ca. 1975
Publisher
California, University of (Irvine)
Extent
1 folder
Category
Manual
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Source program listings
Credit
Gift of Herbert Stoyan