![Automated theorem proving / Logic / Theoretical computer science / Mathematical logic / Isabelle / IsaPlanner / Proof assistant / Mathematical proof / Automated proof checking / Rippling / Theorem / Proof Automated theorem proving / Logic / Theoretical computer science / Mathematical logic / Isabelle / IsaPlanner / Proof assistant / Mathematical proof / Automated proof checking / Rippling / Theorem / Proof](https://www.pdfsearch.io/img/4126d9905911db8a73c3e488c944e8be.jpg) Date: 2005-09-01 07:28:34Automated theorem proving Logic Theoretical computer science Mathematical logic Isabelle IsaPlanner Proof assistant Mathematical proof Automated proof checking Rippling Theorem Proof | | A Proof-Centric approach to Mathematical Assistants Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UKAdd to Reading ListSource URL: homepages.inf.ed.ac.ukDownload Document from Source Website File Size: 215,33 KBShare Document on Facebook
|