Publikace
- MaLeCoP: Spojovací dokazovač se strojovým učením2011 | Matematicko-fyzikální fakulta
- Optimalizace prologovských programů plně automatickou transformační procedurou2008 | Matematicko-fyzikální fakulta
- Zlepšování efektivity prologovských programů pomocí plně automatizované unfold/fold transformace2007 | Matematicko-fyzikální fakulta
- Zlepšování efektivity Prologovských programů pomocí plně automatizované transformace rozvinutí/svinutí2007 | Matematicko-fyzikální fakulta
- Zlepšování efektivity prologovských programů pomocí plně automatizované transformace2007 | Matematicko-fyzikální fakulta
- Výchova a vzdělávání ve věku kybernetiky +12005 | Matematicko-fyzikální fakulta
- Speedup of logic programs by binarization and partial deduction2004 | Matematicko-fyzikální fakulta
- Binary Speed Up for Logic Programs2000 | Matematicko-fyzikální fakulta
- Experimenting with Machine Learning in Automated Theorem Proving1999 | Matematicko-fyzikální fakulta
- Extendible Meta-Interpreters1997 | Matematicko-fyzikální fakulta
Loading network view...