A theorem prover for a computational logic

DOI10.1007/3-540-52885-7_75zbMath1509.68296MaRDI QIDQ6488518

J. Strother Moore, Robert S. Boyer

Publication date: 28 April 2023

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: A theorem prover for a computational logic