Inside Out Library
AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search (1976)
Defense Technical Information Center · leaf 130

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.
More pictures from AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search
More like this