ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "encoding"
encoding
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
RNDr. Jiří Vyskočil
Externí osoba na Matematicko-fyzikální fakulta
9 publikací
Publikace
publication
Kódování plánovacích problemů a jejich optimalizací v lineární logice
+1
2009 |
Matematicko-fyzikální fakulta
publication
Kódování plánovacích problémů a jejich optimalizace v lineární logice
2009 |
Matematicko-fyzikální fakulta
publication
Optimalizace prologovských programů plně automatickou transformační procedurou
2008 |
Matematicko-fyzikální fakulta
publication
MaLARea SG1 - Strojové učení se pro automatické dokazování se sémantickým řízením
2008 |
Matematicko-fyzikální fakulta
publication
Zlepšování efektivity prologovských programů pomocí plně automatizované unfold/fold transformace
2007 |
Matematicko-fyzikální fakulta
publication
Řešení obtížných problémů nahlížením jako na husté strukturované grafy
2007 |
Matematicko-fyzikální fakulta
publication
Zlepšování efektivity Prologovských programů pomocí plně automatizované transformace rozvinutí/svinutí
2007 |
Matematicko-fyzikální fakulta
publication
Zlepšování efektivity prologovských programů pomocí plně automatizované transformace
2007 |
Matematicko-fyzikální fakulta
Loading network view...