AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search

Defense Technical Information Center · 1976 · 4 pictures

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)