RNDr. Tomáš Jakl, Ph.D.

Teaching

Courses in master studies

Code Course name
NI-FMT Finite model theory