Publication

AM: an Artificial Intelligence approach to Discovery in Mathematics as Heuristic Search

Ph.D. Dissertation. Stanford AI Laboratory.

Reprinted as AM: Discovery in Mathematics as Heuristic Search,
in Randall Davis and Douglas B Lenat (eds.), Knowledge-Based Systems in Artificial Intelligence, pp. 1-225, New York: McGraw-Hill (1982).

Vertical Tabs