Artifact Details

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

Lot Number

X5687.2010