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
|