Novotný Samuel
Meno:
Ing. Samuel Novotný
Školiteľ:
Steingartner William
Ročník:
3
Budova:
Letná 9
Miestnosť - nové označenie (new numbering):
B525
Konzultačné hodiny:
Streda od 14.00 - 17.00 alebo po dohode emailom prípadne MS Teams
Zameranie výskumu:
neklasické logické systémy
transparentná intenzionálna logika
interaktívne dokazovacie systémy
teória typov
funkcionálne a logické programovanie
Meno:
Samuel
Priezvisko:
Novotný