Artifact Details

Title

QA4 documentation from UCI AI Library

Catalog Number

102719695

Type

Text

Date

ca. 1975

Publisher

California, University of (Irvine)

Extent

1 folder

Description

Combines fierst two chapters of "QA4: A Procedural Calculus for Intuitive Reasoning" by Rulifson, Derkson, and Waldinger with additional material and a tutorial.

Category

Manual

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Source program listings

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010