Title
AM: An artificial intelligence approach to discovery in mathematics as heuristic search
Catalog Number
102714769
Type
Document
Date
1976-07
Author
Lenat, Douglas B.
Publisher
Stanford University. Computer Science Dept.
Extent
345 p.
Category
Technical Paper or Note
Collection Title
Gwen Bell collection
Credit
Gift of Gwen Bell