![Theoretical computer science / Logic / Formal methods / Mathematical logic / Model theory / Interpretation / Logic in computer science / Propositional calculus / Boolean satisfiability problem / Automated theorem proving / Propositional variable / IP Theoretical computer science / Logic / Formal methods / Mathematical logic / Model theory / Interpretation / Logic in computer science / Propositional calculus / Boolean satisfiability problem / Automated theorem proving / Propositional variable / IP](https://www.pdfsearch.io/img/288d657b371943d9f8e22d6605813db6.jpg) Date: 2010-09-11 18:26:03Theoretical computer science Logic Formal methods Mathematical logic Model theory Interpretation Logic in computer science Propositional calculus Boolean satisfiability problem Automated theorem proving Propositional variable IP | | Theorem Proving using Lazy Proof Expli
ation Corma
Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear
h Center, HP Labs, Palo Alto, CA 2Add to Reading ListSource URL: rjoshi.orgDownload Document from Source Website File Size: 192,07 KBShare Document on Facebook
|