![Proof theory / Lisp programming language / Model theory / Deduction / Mathematical proof / ACL2 / Thoralf Skolem / Theorem / Axiom / Logic / Mathematics / Mathematical logic Proof theory / Lisp programming language / Model theory / Deduction / Mathematical proof / ACL2 / Thoralf Skolem / Theorem / Axiom / Logic / Mathematics / Mathematical logic](https://www.pdfsearch.io/img/8ae607b7f2c9c5485e2f83a3e28061c9.jpg)
| Document Date: 2010-12-31 01:37:44 Open Document File Size: 351,82 KBShare Result on Facebook
/ Facility Computer Sciences The University of Texas / / IndustryTerm proof search / / Organization University of Texas at Austin / Department of Defense / / Person Verifying Theorem Prover Jared Davis / / ProgrammingLanguage Lisp / /
SocialTag |