Back to Results
First PageMeta Content
Mathematical proof / Proof theory / Philosophy of mathematics / Automated theorem proving / Theorem / Quasi-empiricism in mathematics / Four color theorem / Proof / KeY / Mathematics / Logic / Mathematical logic


Document Date: 2011-09-26 03:04:02

Open Document

File Size: 39,43 KB

Share Result on Facebook
UPDATE