Items where Author is "Kerényi, Róbert Nándor"

Egy szinttel feljebb
Exportálás mint [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
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.

A lista elkészültének dátuma: Sat Nov 23 10:38:00 2024 CET.