First Page | Document Content | |
---|---|---|
Date: 2018-07-19 05:32:19Logic Mathematical logic Theoretical computer science Automated theorem proving Logic in computer science Formal methods Logic programming Propositional calculus Resolution Unification Satisfiability modulo theories Literal | Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UKAdd to Reading ListSource URL: www.logic.atDownload Document from Source WebsiteFile Size: 119,13 KBShare Document on Facebook |