Back to Results
First PageMeta Content
Automated theorem proving / Proof theory / Logic in computer science / Theoretical computer science / Isabelle / Mathematical proof / Proof assistant / Theorem / Automated reasoning / Logic / Mathematics / Mathematical logic


Document Date: 2014-08-27 06:04:04

Open Document

File Size: 1,75 MB

Share Result on Facebook
UPDATE