[Back]


Diploma and Master Theses (authored and supervised):
S. Ivanov:
"Formal Reasoning about Fuzzy Evaluation Games";
Supervisor: C. Fermüller; Institut für Logic and Computation, 2018; final examination: 2018-06-05.

Created from the Publication Database of the Vienna University of Technology.