Publikace
- MaLARea SG1 - Strojové učení se pro automatické dokazování se sémantickým řízením2008 | Matematicko-fyzikální fakulta
- Kódov ání plánovacích problemů a jejich optimalizací v lineární logice +12009 | Matematicko-fyzikální fakulta
- Kódování plánovacích problémů a jejich optimalizace v lineární logice2009 | 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
- Řešení obtížných problémů nahlížením jako na husté strukturované grafy2007 | 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
Loading network view...