Back to Results
First PageMeta Content
Theoretical computer science / Mathematical logic / Logic in computer science / Type theory / Proof assistants / Mathematics / Automated theorem proving / Isabelle / Logical framework / Twelf / Formal methods / Automated reasoning


Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science
Add to Reading List

Document Date: 2005-08-10 11:35:47


Open Document

File Size: 171,16 KB

Share Result on Facebook
UPDATE