Items where Author is "Kerényi, Róbert Nándor"
 | Egy szinttel feljebb |
Group by: Tétel típus | No Grouping
Jump to: Szakdolgozat
Tételek száma: 1.
Szakdolgozat
Kerényi, Róbert Nándor (2019) LoGiKeR - Automatikus tételbizonyítás oktatását támogató keretrendszer. Szakdolgozat thesis, Természettudományi Kar.