Back to Results
First PageMeta Content
Mathematical logic / Knowledge / Mizar system / QED manifesto / Proof assistant / Mathematical proof / Automated proof checking / Andrzej Trybulec / Constructivism / Logic / Mathematics / Formal methods


Document Date: 2007-04-17 17:02:53

Open Document

File Size: 454,60 KB

Share Result on Facebook
UPDATE