Mgr.

Juraj Síč

Ph.D. student

Teaching

IZLO	Introduction to Logic for Computer Science Exercise, Lecture, Project, Czech, summer, DITS