Volltext-Downloads (blau) und Frontdoor-Views (grau)
  • search hit 7 of 7
Back to Result List

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.

Download full text files

Export metadata

Additional Services

Search Google Scholar

Statistics

frontdoor_oas
Metadaten
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