Date: 2010-10-22 08:05:11Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning | | Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of EngineeriAdd to Reading ListSource URL: repository.readscheme.orgDownload Document from Source Website File Size: 637,62 KBShare Document on Facebook
|