TY  - THES
U1  - Bachelor Thesis
A1  - Chouaffé, Franck Edmond
T1  - Entwicklung eines KMS (Knowledge Management System) für die Erstellung von Mizar-Beweisen (KMS-MIZAR)
N2  - 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.
KW  - XML
KW  - Definition
KW  - Notation <Klassifikation>
KW  - Theorem
KW  - MIZAR
KW  - Beweisrahmen
KW  - Registration
Y2  - 2009
U6  - https://nbn-resolving.org/urn:nbn:de:101:1-200911251135
UN  - https://nbn-resolving.org/urn:nbn:de:101:1-200911251135
ER  -