ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Dokazování"
Dokazování
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. Jan Hric
Akademický pracovník na Matematicko-fyzikální fakulta
6 předmětů
14 publikací
Předměty
class
Seminář z logického programování 1
NAIL006 |
Matematicko-fyzikální fakulta
class
Seminář z logického programování 2
NAIL009 |
Matematicko-fyzikální fakulta
class
Logické programování 2
NAIL077 |
Matematicko-fyzikální fakulta
class
Metody logického programování
NAIL022 |
Matematicko-fyzikální fakulta
class
Lambda-kalkulus a funkcionální programování 2
NAIL079 |
Matematicko-fyzikální fakulta
class
Lambda-kalkulus a funkcionální programování I
NAIX078 |
Matematicko-fyzikální fakulta
Publikace
publication
Automatické dělení slov
2017 |
Matematicko-fyzikální fakulta
publication
Nový encyklopedický slovník češtiny
2016 |
Matematicko-fyzikální fakulta, Filozofická fakulta
publication
Monads in Logic Programming
2002 |
Publikace bez příslušnosti k fakultě
publication
Design Patterns in Functional Programming
2002 |
Publikace bez příslušnosti k fakultě
publication
Information Extraction from Texts
2001 |
Matematicko-fyzikální fakulta
publication
Machine Translation of Very Close Languages
2000 |
Matematicko-fyzikální fakulta
publication
Česílko - an MT system for closely related languages
2000 |
Matematicko-fyzikální fakulta
publication
Usage of context in searching
2000 |
Matematicko-fyzikální fakulta
publication
Information Extraction from Full Texts
1999 |
Matematicko-fyzikální fakulta
publication
Vyhl'adávanie v textoch s lingvistickou podporou
1996 |
Matematicko-fyzikální fakulta
Načíst další publikace (4)
Loading network view...