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
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.

A lista elkészültének dátuma: Sun Dec 22 04:00:40 2024 CET.