![Software / Automated theorem proving / Theoretical computer science / Formal methods / TPTP / Proof assistant / Frama-C / Theorem prover / E theorem prover / Theorem / Isabelle Software / Automated theorem proving / Theoretical computer science / Formal methods / TPTP / Proof assistant / Frama-C / Theorem prover / E theorem prover / Theorem / Isabelle](https://www.pdfsearch.io/img/564a98119db0354b1fb4bfb220c6e38a.jpg) Date: 2017-08-08 03:28:45Software Automated theorem proving Theoretical computer science Formal methods TPTP Proof assistant Frama-C Theorem prover E theorem prover Theorem Isabelle | | Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, AustriaAdd to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source Website File Size: 194,64 KBShare Document on Facebook
|