Back to Results
First PageMeta Content
Automated theorem proving / Theoretical computer science / Computing / Mathematics / Nuprl / Interactive Theorem Proving / Proof assistant / Robert Lee Constable / ACL2 / Formal methods / Computer science / Automated reasoning


James Caldwell Department of Computer Science University of Wyoming Laramie, WYDATE: October 31, 2016
Add to Reading List

Document Date: 2016-10-31 17:07:05


Open Document

File Size: 124,95 KB

Share Result on Facebook