ML Anthology

Moore, J Strother

2 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