Author Description

Pt.1. Am: Discovery In Mathematics As Heuristic Search. Overview; Example: Discovering Prime Numbers; Agenda; Heuristics; Concepts; Results; Evaluating Am -- Pt.2. Teiresias: Applications Of Meta-level Knowledge. Introduction; Background; Explanation; Knowledge Acquisition: Overview; Knowledge Acquisition I; Knowledge Acquisition Ii; Strategies; Conclusions. Randall Davis, Douglas B. Lenat; [cover Designed By Nicholas Krenitsky]. Includes Bibliographies And Index.