Předměty
Publikace
- Křížová verifikace pomocí ATP mizarovské MPTP výzvy k řešení problémů2007 | Matematicko-fyzikální fakulta
- XML-izace Mizaru: zjednodušení semantického zpracování a prezentace MML2006 | Matematicko-fyzikální fakulta
- Momm - Rychle interredukce a dotazy ve velkych knihovnach formalni matematiky2006 | Matematicko-fyzikální fakulta
- MizarMode - asistant pro psani dukazu v formalnim matematickem systemu Mizar2006 | Matematicko-fyzikální fakulta
- XML-izace Mirazu: Zjednodušení sémantického zpracování a prezentace MML2006 | Publikace bez příslušnosti k fakultě
- Překlad Mizaru pro dokazovače v logice 1. řádu2003 | Publikace bez příslušnosti k fakultě
- Workshop on Knowledge Management in Formalized MathematicsPublikace bez příslušnosti k fakultě
- Automatické dokazování pro Mizar: umělá inteligence pomocí výměny znalostíPublikace bez příslušnosti k fakultě
- MaLARea SG1 - Strojové učení se pro automatické dokazování se sémantickým řízením2008 | Matematicko-fyzikální fakulta
- MPTP 0.2: Design, Implementace, and pocatecni experimenty2006 | Matematicko-fyzikální fakulta
Loading network view...