![Theoretical computer science / Formal methods / Proof assistant / Mathematical proof / Theorem / KeY / Rippling / Isabelle / Specification language / Logic / Mathematics / Automated theorem proving Theoretical computer science / Formal methods / Proof assistant / Mathematical proof / Theorem / KeY / Rippling / Isabelle / Specification language / Logic / Mathematics / Automated theorem proving](https://www.pdfsearch.io/img/da7f1eabd8ff69104c97ee5a8612d8e0.jpg) Date: 2013-11-21 06:16:22Theoretical computer science Formal methods Proof assistant Mathematical proof Theorem KeY Rippling Isabelle Specification language Logic Mathematics Automated theorem proving | | How to say why (in AI4FM) Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside School of Computing Science, Newcastle University {name.surname}@newcastle.ac.uk October 30, 2013Add to Reading ListSource URL: www.ai4fm.orgDownload Document from Source Website File Size: 1,20 MBShare Document on Facebook
|