IAPR Education Resources: Theorem Proving


Automated Theorem Proving (Wikipedia)
Overview of Automated Theorem Proving (Geoff Sutcliffe)
Theorem Proving (AIBites)
FREQUENTLY ASKED QUESTIONS ABOUT PROOF PLANNING (Dream Group, University of Edinburgh)


Return to IAPR Resources top level

This page was automatically generated and may be different if you return later. Date generated: 07:29 03/08/2021 (GMT)