Naslov: Zmanjšanje preiskovalnega prostora za konstruktivno indukcijo z uporabo razlag
Mentor: doc. dr. Matej Guid
Komisija za spremljanje doktorskega študenta:
prof. dr. Igor Kononenko (predsednik)
prof. dr. Ljupčo Todorovski (član)
prof. Franco Turini, PhD (član)
Povezava do video kanala, po katerem se bo prenašal zagovor in ga bo možno spremljati, bo dodana najkasneje na dan zagovora (predvidoma 30 minut pred terminom izvedbe zagovora) na spletni strani: https://ucilnica.fri.uni-lj.si/course/view.php?id=359