LoGiKeR - Automatikus tételbizonyítás oktatását támogató keretrendszer

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.

[thumbnail of GGIAUY_2019.pdf] Kézirat
GGIAUY_2019.pdf
Restricted to Registered users only

Download (6MB)
Tétel típus: Szakdolgozat (Szakdolgozat)
Feltöltő: Users 1 nincs találat.
Elhelyezés dátuma: 15 Júni 2021 21:01
Utolsó változtatás: 15 Júni 2021 21:01
URI: http://szakdolgozat.uni-eszterhazy.hu/id/eprint/1745

Actions (login required)

Tétel szekesztése
Tétel szekesztése