Refine
Year of publication
- 2009 (1)
Document Type
- Bachelor Thesis (1)
Language
- German (1) (remove)
Has Fulltext
- yes (1) (remove)
Keywords
- Beweisrahmen (1)
- Definition (1)
- MIZAR (1)
- Notation <Klassifikation> (1)
- Registration (1)
- Theorem (1)
- XML (1)