Robert S. Boyer

Computer Science Laboratory SRI International Menlo Park , CA 94025

3 papers in the IJCAI proceedings

IJCAI 1977

A Lemma Driven Automatic Theorem Prover for Recursive Function Theory

with J. Strother Moore

Details PDF

IJCAI 1973

Proving Theorems about LISP Functions

with J. Strother Moore

Details PDF

IJCAI 1971

Computer Proofs of Limit Theorems

with W. W. Bledsoe, William H. Henneman

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings