Artifact Details

Title

Research in Advanced Formal Theorem-Proving Techniques [Final Report]

Catalog Number

102720791

Type

Document

Date

1973

Author

Raphael, Bertram; Fikes, Richard E.; Waldinger, Richard J.

Publisher

Stanford Research Institute (SRI). Artificial Intelligence Center

Extent

1 folder

Category

Memoranda

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010