![Theoretical computer science / Formal methods / Mathematical logic / Logic in computer science / Mathematics / Constraint programming / Automated theorem proving / Satisfiability modulo theories / Formal verification / Type theory / First-order logic / Vampire Theoretical computer science / Formal methods / Mathematical logic / Logic in computer science / Mathematics / Constraint programming / Automated theorem proving / Satisfiability modulo theories / Formal verification / Type theory / First-order logic / Vampire](https://www.pdfsearch.io/img/bae29dbeae85e12a79c9850565c22edb.jpg) Date: 2017-08-08 03:28:32Theoretical computer science Formal methods Mathematical logic Logic in computer science Mathematics Constraint programming Automated theorem proving Satisfiability modulo theories Formal verification Type theory First-order logic Vampire | | Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017Add to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source Website File Size: 371,90 KBShare Document on Facebook
|