Univerzita Komenského
Fakulta matematiky, fyziky a informatiky
Prihlásiť sa
SK
SK
EN
Katedra aplikovanej informatiky
Hlavné menu
Úvod
Oznamy
Ľudia
Výučba
Výskum
Pre uchádzačov
Kontakt
Computational Logic and Algebra Group
Dušan Guller
Ivor Uhliarik
DBLP Publications