![Lisp programming language / Logic in computer science / Proof theory / Formal methods / Mathematical logic / ACL2 / Mathematical proof / Theorem / Automated theorem proving / Mathematics / Logic / Computing Lisp programming language / Logic in computer science / Proof theory / Formal methods / Mathematical logic / ACL2 / Mathematical proof / Theorem / Automated theorem proving / Mathematics / Logic / Computing](https://www.pdfsearch.io/img/2eaa971786ad796c7318db1293f1d842.jpg)
| Document Date: 2010-11-04 22:53:43 Open Document File Size: 960,59 KBShare Result on Facebook
Company Computer Sciences / / / Facility Computer Sciences The University of Texas / / Organization University of Texas at Austin / / ProgrammingLanguage Common Lisp / Lisp / / TVShow Q. E. D. / /
SocialTag |