Back to Results
First PageMeta Content
Logic in computer science / Formal methods / Automated theorem proving / Mizar system / Proof assistant / Automated proof checking / Mizar and Alcor / Mathematical proof / Isabelle / Theoretical computer science / Mathematical logic / Mathematics


Document Date: 2004-01-15 09:13:15

Open Document

File Size: 146,30 KB

Share Result on Facebook
UPDATE