Artifact Details

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

Lot Number

X5864.2011