Contact Us


The Edward A. Feigenbaum Papers Work in artificial intelligence and computer science at Stanford University

Automated Theory Formation in Mathematics.

Title:
Automated Theory Formation in Mathematics.
Authors:
Lenat, Douglas B.
Physical Description:
1 document
Donor tags:
AM
Series:
1986-052
Box:
12
Folder:
24
Folder Name:
Doug Lenat - correspondence and paper "Automated Theory Formation in Mathematics" 1975
Location:
Call Number: SC0340, Accession: 1986-052, Box: 12, Folder: 24
Notes:
  • Manuscript (1975); Early planning document for his AM Ph.D. thesis
  • Early planning document for his AM Ph.D. thesis