Back to Results
First PageMeta Content
Automated theorem proving / Mathematics / Mathematical logic / Logic / IsaPlanner / Rippling / Mathematical proof / Mathematical induction / Proof assistant / Isabelle / Algorithm / Peano axioms


A Proof Planning Framework For Isabelle Lucas Dixon NI VER
Add to Reading List

Document Date: 2006-03-27 10:16:29

Open Document

File Size: 1,29 MB

Share Result on Facebook