![Automated theorem proving / Logical syntax / Formal systems / Logical truth / Proof theory / Proof assistant / Theorem / Mathematical proof / KeY / Logic / Theoretical computer science / Mathematics Automated theorem proving / Logical syntax / Formal systems / Logical truth / Proof theory / Proof assistant / Theorem / Mathematical proof / KeY / Logic / Theoretical computer science / Mathematics](https://www.pdfsearch.io/img/99d7cf32aa842226b677093b43bd44a2.jpg) Date: 2014-04-07 06:29:39Automated theorem proving Logical syntax Formal systems Logical truth Proof theory Proof assistant Theorem Mathematical proof KeY Logic Theoretical computer science Mathematics | | Ours is to reason why Cliff B. Jones, Leo Freitas, Andrius Velykis School of Computing Science, Newcastle University {cliff.jones, leo.freitas, andrius.velykis}@ncl.ac.uk Abstract. It is now widely understood how to wriAdd to Reading ListSource URL: andrius.velykis.ltDownload Document from Source Website File Size: 519,39 KBShare Document on Facebook
|