Předměty
Publikace
- MaLARea SG1 - Strojové učení se pro automatické dokazování se sémantickým řízením2008 | Matematicko-fyzikální fakulta
- Křížová verifikace pomocí ATP mizarovské MPTP výzvy k řešení problémů2007 | Matematicko-fyzikální fakulta
- MPTP 0.2: Design, Implementace, and pocatecni experimenty2006 | Matematicko-fyzikální fakulta
- MPTP - Motivation, Implementation, First Experiments2005 | Matematicko-fyzikální fakulta
- MPTP - Motivace, implementace, první experimenty2005 | Matematicko-fyzikální fakulta
- Integrované sémantické brouzdání matematické knihovny Mizaru pro vytváření článků v Mirazu2004 | Publikace bez příslušnosti k fakultě
- Překlad Mizaru pro dokazovače v logice 1. řádu2003 | Publikace bez příslušnosti k fakultě
- Experimenting with Machine Learning in Automated Theorem Proving1999 | Matematicko-fyzikální fakulta
- Experimenting with Machine Learning in Automated Theorem ProvingPublikace bez příslušnosti k fakultě
- Workshop on Knowledge Management in Formalized MathematicsPublikace bez příslušnosti k fakultě
Loading network view...