Items where Author is "Kerényi, Róbert Nándor"
 | Egy szinttel feljebb |
Group by: Tétel típus | No Grouping
Tételek száma: 1.
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.