Neurális hálózatok verifikációja formális módszerekkel

Kiss, Dorina Hedvig (2023) Neurális hálózatok verifikációja formális módszerekkel. Szakdolgozat thesis, Informatikai Kar.

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

Download (1MB)
Tétel típus: Szakdolgozat (Szakdolgozat)
Feltöltő: Admin System
Elhelyezés dátuma: 13 Nov 2023 12:45
Utolsó változtatás: 13 Nov 2023 12:45
URI: http://szakdolgozat.uni-eszterhazy.hu/id/eprint/33842

Actions (login required)

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