ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "deduction"
deduction
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. Jan Hrůza Ph.D.
Externí osoba na Matematicko-fyzikální fakulta
3 publikace
Publikace
publication
Speedup of logic programs by binarization and partial deduction
2004 |
Matematicko-fyzikální fakulta
publication
Binary Speed Up for Logic Programs
2000 |
Matematicko-fyzikální fakulta
publication
Logic Program Transformations and Intelligent Agents
1999 |
Matematicko-fyzikální fakulta
Loading network view...