Stanga, Péter István (2024) SMT megoldó implementálása lineáris valós aritmetikához. Szakdolgozat thesis, ["eprint_fieldopt_institution_IK" not defined].
![[thumbnail of EAH1UJ_2024.pdf]](http://szakdolgozat.uni-eszterhazy.hu/style/images/fileicons/other.png)
Kézirat
EAH1UJ_2024.pdf
Restricted to Registered users only
Download (631kB)
| Tétel típus: | Szakdolgozat (Szakdolgozat) |
|---|---|
| Feltöltő: | admin |
| Elhelyezés dátuma: | 08 Szep 2026 15:16 |
| Utolsó változtatás: | 08 Szep 2026 15:16 |
| URI: | http://szakdolgozat.uni-eszterhazy.hu/id/eprint/49239 |
Actions (login required)
- Tétel szekesztése