Rozšíření sémantického stroje prototypu transparentní intenzionální logiky
Autor práce
Branislav Bednár
Vedúci práce
Ing. Zuzana Bilanová, PhD.