Back to Results
First PageMeta Content
Automated theorem proving / Logic in computer science / Mathematical logic / Proof assistant / Logic for Computable Functions / Coq / Mathematical proof / HOL Light / Theorem / Mathematics / Logic / Theoretical computer science


Introduction Articles of Proof Compression
Add to Reading List

Document Date: 2009-08-21 09:46:49

Open Document

File Size: 232,84 KB

Share Result on Facebook

Company

Higher Order Logic Theories Joe Hurd Galois Inc. / /

/

IndustryTerm

software engineering principles / software engineering / software engineering techniques / /

OperatingSystem

Hurd / /

Person

Joe Hurd / /

Position

MP / /

ProgrammingLanguage

C / /

SocialTag