J. Strother Moore

2 papers in the IJCAI proceedings

IJCAI 1977

A Lemma Driven Automatic Theorem Prover for Recursive Function Theory

with Robert S. Boyer

Details PDF

IJCAI 1973

Proving Theorems about LISP Functions

with Robert S. Boyer

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings