Back to Results
First PageMeta Content
Theoretical computer science / Automated theorem proving / Formal methods / Philosophy of mathematics / Logic in computer science / Automated reasoning / Formal verification / Mathematical logic / Formal proof / Mathematics / Logic / Applied mathematics


Document Date: 2006-10-20 11:59:18

Open Document

File Size: 212,64 KB

Share Result on Facebook
UPDATE