Back to Results
First PageMeta Content
Logic in computer science / Automated theorem proving / Formal methods / Model theory / Isabelle / First-order logic / KeY / HOL / Proof assistant / Theoretical computer science / Mathematical logic / Mathematics


Document Date: 2014-11-10 04:09:39

Open Document

File Size: 524,79 KB

Share Result on Facebook
UPDATE