Back to Results
First PageMeta Content
Proof theory / Lisp programming language / Model theory / Deduction / Mathematical proof / ACL2 / Thoralf Skolem / Theorem / Axiom / Logic / Mathematics / Mathematical logic


A Self-Verifying Theorem Prover Jared Davis Ph.D. Defense Department of Computer Sciences The University of Texas at Austin
Add to Reading List

Document Date: 2010-12-31 01:37:44

Open Document

File Size: 351,82 KB

Share 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