Back to Results
First PageMeta Content
Logic in computer science / Formal methods / Automated theorem proving / HOL / Logic for Computable Functions / Higher-order logic / Isabelle / Michael J. C. Gordon / Theorem Proving in Higher-Order Logics / Theoretical computer science / Mathematics / Applied mathematics


Document Date: 2009-08-23 14:58:44

Open Document

File Size: 60,10 KB

Share Result on Facebook
UPDATE