Volltext-Downloads (blau) und Frontdoor-Views (grau)
  • Treffer 10 von 13
Zurück zur Trefferliste

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.

Volltext Dateien herunterladen

Metadaten exportieren

Weitere Dienste

Teilen auf Twitter Suche bei Google Scholar

Statistik

frontdoor_oas
Metadaten
Verfasserangaben:Franck Edmond Chouaffé
URN:urn:nbn:de:101:1-200911251135
Jahr der Fertigstellung:2009
Dokumentart:Bachelorarbeit
Sprache:Deutsch
Veröffentlichende Institution:Hochschulbibliothek der Technischen Hochschule Köln
Datum des Hochladens:04.02.2009
GND-Schlagwort:Definition; Notation <Klassifikation>; Theorem; XML
Freies Schlagwort / Tag:Beweisrahmen; MIZAR; Registration
Fakultäten und Zentrale Einrichtungen:Informations-, Medien- und Elektrotechnik (F07) / Fakultät 07 / Institut für Nachrichtentechnik
DDC-Sachgruppen:000 Allgemeines, Informatik, Informationswissenschaft / 000 Allgemeines, Wissenschaft / 004 Informatik
Open Access:Open Access