Back to Results
First PageMeta Content
Formal methods / Philosophy of mathematics / Theoretical computer science / Mathematical proof / Formal verification / Theorem / Richard J. Lipton / Algorithm / Mathematical beauty / Mathematics / Logic / Mathematical logic


Document Date: 2008-09-16 22:24:39

Open Document

File Size: 1,06 MB

Share Result on Facebook
UPDATE