Diplom- und Master-Arbeiten (eigene und betreute):
M. Hajdu:
"Automating inductive reasoning with recursive functions";
Betreuer/in(nen): L. Kovacs;
Institut for Logic and Computation, E192.04, FORSYTE division,
2021;
Abschlussprüfung: 25.03.2021.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.34726/hss.2021.84140
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_302959.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.