- search hit 1 of 1
Entwicklung eines KMS (Knowledge Management System) für die Erstellung von Mizar-Beweisen (KMS-MIZAR)
- Es soll für die Sprache Mizar ein Suchprogramm erstellt werden. Das entwickelte Programm nimmt eine Benutzereingabe entgegen, und gibt gefundene Treffer aus. Andererseits kann das Programm aus einem XML-Dokument, das ein Mizar-Theorem enthält, ein Mizar-Beweisrahmen erzeugen.
Author: | Franck Edmond Chouaffé |
---|---|
URN: | urn:nbn:de:101:1-200911251135 |
Year of Completion: | 2009 |
Document Type: | Bachelor Thesis |
Language: | German |
Publishing Institution: | Hochschulbibliothek der Technischen Hochschule Köln |
Date of Publication (online): | 2009/02/04 |
GND-Keyword: | Definition; Notation <Klassifikation>; Theorem; XML |
Tag: | Beweisrahmen; MIZAR; Registration |
Institutes: | Informations-, Medien- und Elektrotechnik (F07) / Fakultät 07 / Institut für Nachrichtentechnik |
Dewey Decimal Classification: | 000 Allgemeines, Informatik, Informationswissenschaft / 000 Allgemeines, Wissenschaft / 004 Informatik |
Open Access: | Open Access |