![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 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](https://www.pdfsearch.io/img/981db9b080eb0a9f4af0cc3f13cf98da.jpg)
| Document Date: 2009-08-21 09:46:49 Open Document File Size: 232,84 KBShare 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 |