Classes
- Seminar on Logic Programming 1NAIL006 | Faculty of Mathematics and Physics
- Seminar on Logic Programming 2NAIL009 | Faculty of Mathematics and Physics
- Methods of Logic ProgrammingNAIL022 | Faculty of Mathematics and Physics
- Logic Programming 2NAIL077 | Faculty of Mathematics and Physics
- Lambda Calculus and Functional Programming 2NAIL079 | Faculty of Mathematics and Physics
- Lambda Calculus and Functional Programming INAIX078 | Faculty of Mathematics and Physics
Publications
- Monads in Logic Programming2002 | Publication without faculty affiliation
- Automatické dělení slov2017 | Faculty of Mathematics and Physics
- New Encyclopedic Dictionary of Czech2016 | Faculty of Mathematics and Physics, Faculty of Arts
- Design Patterns in Functional Programming2002 | Publication without faculty affiliation
- Information Extraction from Texts2001 | Faculty of Mathematics and Physics
- Machine Translation of Very Close Languages2000 | Faculty of Mathematics and Physics
- Česílko - an MT system for closely related languages2000 | Faculty of Mathematics and Physics
- Usage of context in searching2000 | Faculty of Mathematics and Physics
- Information Extraction from Full Texts1999 | Faculty of Mathematics and Physics
- Vyhl'adávanie v textoch s lingvistickou podporou1996 | Faculty of Mathematics and Physics
Loading network view...