Artifact Details

Title

QA4 : A Procedural Calculus for Intuitive Reasoning

Catalog Number

102720779

Type

Text

Date

1972-11

Author

Rulifson, Jeff; Derksen, Jan A.; Waldinger, Richard J.

Publisher

Stanford Research Institute (SRI)

Extent

1 folder

Description

Stanford Research Institute (SRI), A.I. Center, Technical Note 73, SRI Project 8721, Stanford, Nov. 1972.

Category

Technical Report

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010