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