Boyer, Robert S.

3 publications

IJCAI 1977 A Lemma Driven Automatic Theorem Prover for Recursive Function Theory Robert S. Boyer, J Strother Moore

IJCAI 1973 Proving Theorems About LISP Functions Robert S. Boyer, J Strother Moore

IJCAI 1971 Computer Proofs of Limit Theorems W. W. Bledsoe, Robert S. Boyer, William H. Henneman