Urban, Josef, 1973-
| Biografické údaje: | Narozen 31. 10. 1973. Odborník v oblasti umělé inteligence, automatického dotazování vět, sémanticky specifikovaných znalostních bází, formální matematiky, publikace z oboru teoretické informatiky. |
|---|---|
| Zdroj: |
Urban, J.: Exploring and combining deductive and inductive reasoning in large libraries of formalized mathematics osobní sdělení |
| Další informace: |
   |