Artifact Details

Title

Draft of Automated Math Theory Formation (PhD thesis)

Catalog Number

102719648

Type

Document

Date

1976

Author

Lenat, Douglas B.

Publisher

Stanford University

Extent

1 folder

Category

Technical Paper or Note

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Manuals, manuscripts, and subject files; AI systems

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010