ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "Formalized"
Formalized
Publikace
Předměty
Osoby
Publikace
Studium
XML-izace Mirazu: Zjednodušení sémantického zpracování a prezentace MML
Publikace
|
2006
1 osoba
Abstrakt
Článek popisuje format dat Mizaru založených na XML, implementaci formatu a aplikace.
Klíčová slova
XML-izing
Mizar
Making
semantic
processing
presentation
easy
Osoba
person
Mgr. Josef Urban Ph.D.
Matematicko-fyzikální fakulta