Back to Results
First PageMeta Content
Automated theorem proving / Formal methods / Logic in computer science / ACL2 / Lisp programming language / Mathematical proof / Isabelle / Coq / HOL / Theoretical computer science / Mathematical software / Mathematics


Learning proofs from refutations
Add to Reading List

Document Date: 2013-10-30 13:20:29

Open Document

File Size: 67,64 KB

Share Result on Facebook
UPDATE