ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "procedure"
procedure
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. Jiří Vyskočil
Externí osoba na Matematicko-fyzikální fakulta
9 publikací
Publikace
publication
Optimalizace prologovských programů plně automatickou transformační procedurou
2008 |
Matematicko-fyzikální fakulta
publication
Zlepšování efektivity prologovských programů pomocí plně automatizované transformace
2007 |
Matematicko-fyzikální fakulta
publication
Kódování plánovacích problemů a jejich optimalizací v lineární logice
+1
2009 |
Matematicko-fyzikální fakulta