A heuristic program that solves symbolic integration problems in freshman calculus

A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees

Journal of the ACM (JACM)

Form and Content in Computer Science (1970 ACM turing lecture)

Journal of the ACM (JACM)

Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science

Communications of the ACM

A perspective on symbolic mathematical computing and artificial intelligence

Annals of Mathematics and Artificial Intelligence

The user-level semantic matching capability in MACSYMA

SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation

Symbolic integration the stormy decade

SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation

Symbolic and algebraic manipulation for solving differential equations

ACM '71 Proceedings of the 1971 26th annual conference

Form and content in computer science

ACM Turing award lectures

Program and protocol analysis on a mental imagery task

IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence

A survey of automated deduction

Artificial intelligence today