Back to Results
First PageMeta Content
Automated proof checking / Theoretical computer science / Applied mathematics / Mizar and Alcor / Mizar / Mathematics / Proof theory / Tarski–Grothendieck set theory / Correctness / Mizar system / Formal methods / Ursa Major constellation


STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Gradual Computerisation/Formalisation of
Add to Reading List

Document Date: 2010-03-05 21:10:35

Open Document

File Size: 428,65 KB

Share Result on Facebook
UPDATE