ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "automatické"
automatické
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
MizarMode - asistant pro psani dukazu v formalnim matematickem systemu Mizar
Publikace na Matematicko-fyzikální fakulta
|
2006
1 osoba
Abstrakt
Clanek popisuje MizarMode - prostredi pro psani clanku v jazyce Mizar.
Klíčová slova
MizarMode
integrated
proof
assistance
Mizar
formalizing
mathematics
Osoba
person
Mgr. Josef Urban Ph.D.
Matematicko-fyzikální fakulta