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.

Kézirat
GGIAUY_2019.pdf
Restricted to Registered users only
Download (6MB)

Tétel típus:	Szakdolgozat (Szakdolgozat)
Feltöltő:	Admin System
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)