Artifact Details

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

Lot Number

X5687.2010