AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search (1976)
Defense Technical Information Center · leaf 113
AM: Ditcoviry in Mathainttic* tt Hturittic S«*rch Chtpttr 5 -106- Any thing Any-concept non-concepts … The diagram above represents the "topmost" concepts which AM had initially, shown connected via Specialization links (\) and Examples links (||p. The only concepts not diagrammed are examples of the concept Operation. There are 47 such operations. Also, we should note that many entitles exist in…
Lenat, D. B · Stanford univ ca dept of computer science · Mathematical models · Artificial intelligence · Approach · Tables(data) · Mathematics · Models · Global · Heuristic methods
Internet Archive · Defense Technical Information Center · Public domain (US government work). Free to use for anything.