ℹ️
🇬🇧
Search
Search for people relevant for "termination"
termination
Person
Class
Person
Publication
Programmes
Export current view
RNDr. Jan Hric
Academic staff at Faculty of Mathematics and Physics
6 classes
14 publications
Classes
class
Seminar on Logic Programming 1
NAIL006 |
Faculty of Mathematics and Physics
class
Seminar on Logic Programming 2
NAIL009 |
Faculty of Mathematics and Physics
class
Logic Programming 2
NAIL077 |
Faculty of Mathematics and Physics
class
Methods of Logic Programming
NAIL022 |
Faculty of Mathematics and Physics
class
Lambda Calculus and Functional Programming 2
NAIL079 |
Faculty of Mathematics and Physics
class
Lambda Calculus and Functional Programming I
NAIX078 |
Faculty of Mathematics and Physics
Publications
publication
Automatické dělení slov
2017 |
Faculty of Mathematics and Physics
publication
New Encyclopedic Dictionary of Czech
2016 |
Faculty of Mathematics and Physics, Faculty of Arts
publication
Monads in Logic Programming
2002 |
Publication without faculty affiliation
publication
Design Patterns in Functional Programming
2002 |
Publication without faculty affiliation
publication
Information Extraction from Texts
2001 |
Faculty of Mathematics and Physics
publication
Machine Translation of Very Close Languages
2000 |
Faculty of Mathematics and Physics
publication
Česílko - an MT system for closely related languages
2000 |
Faculty of Mathematics and Physics
publication
Usage of context in searching
2000 |
Faculty of Mathematics and Physics
publication
Information Extraction from Full Texts
1999 |
Faculty of Mathematics and Physics
publication
Vyhl'adávanie v textoch s lingvistickou podporou
1996 |
Faculty of Mathematics and Physics
Load more publications (4)
Loading network view...