Rózsa, Dániel István (2015) A Gentzen-kalkulus implementációja. BA/Bsc thesis, Szegedi Tudományegyetem.
![[thumbnail of 2016_Rózsa_Dániel_István_RODSAAT_SZE_SZ.pdf]](https://diploma.bibl.u-szeged.hu/style/images/fileicons/text.png "2016_Rózsa_Dániel_István_RODSAAT_SZE_SZ.pdf")
Text2016_Rózsa_Dániel_István_RODSAAT_SZE_SZ.pdf - Thesis
Restricted to SZTE designated computers only
Download (1MB)
![[thumbnail of 2015_rozsa_daniel_melleklet.tgz]](https://diploma.bibl.u-szeged.hu/style/images/fileicons/archive.png "2015_rozsa_daniel_melleklet.tgz")
Archive2015_rozsa_daniel_melleklet.tgz - Supplement
Restricted to SZTE designated computers only
Download (28kB)
| Item Type: | Thesis (BA/Bsc) |
|---|---|
| Subjects: | 01. Natural sciences |
| Depositing User: | TTIK szerkesztő |
| Date Deposited: | 07 Nov 2016 09:10 |
| Last Modified: | 25 Jan 2022 10:32 |
| URI: | https://diploma.bibl.u-szeged.hu/id/eprint/59682 |
Actions (login required)
- View Item
