Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Document Date: 2010-08-30 07:17:32
Open Document
File Size: 638,48 KB
Share Result on Facebook
City
Natal /
/
Country
Brazil /
/
Person
Isabelle Coq Mizar Twelf Metamath /
Isabelle Coq /
/
SocialTag
Logic in computer science
Formal methods
Automated theorem proving
Proof assistant
Type theory
POPLmark challenge
Twelf
HOL
Matita
Theoretical computer science