Refine
Year of publication
- 2009 (1)
Document Type
- Bachelor Thesis (1) (remove)
Language
- German (1)
Has Fulltext
- yes (1)
Keywords
- Beweisrahmen (1)
- Definition (1)
- MIZAR (1)
- Notation <Klassifikation> (1)
- Registration (1)
- Theorem (1)
- XML (1)
Faculty
- Fakultät 07 / Institut für Nachrichtentechnik (1) (remove)