|
|
|
|
| LEADER |
00787nta a2200181 i 4500 |
| 001 |
dipl59682 |
| 005 |
20220125103216.0 |
| 008 |
161107s2015 hu om 0|| zxx d |
| 040 |
|
|
|a SZTE Diploma Repozitórium
|b hun
|
| 041 |
|
|
|a zxx
|
| 100 |
1 |
|
|a Rózsa Dániel István
|
| 245 |
1 |
2 |
|a A Gentzen-kalkulus implementációja
|h [elektronikus dokumentum] /
|c Dániel István Rózsa
|
| 246 |
1 |
0 |
|a Implementation of the Gentzen calculus
|h [elektronikus dokumentum]
|
| 260 |
|
|
|c 2015
|
| 650 |
|
4 |
|a Természettudományok
|
| 700 |
1 |
|
|a Iván Szabolcs
|e ths
|
| 856 |
4 |
0 |
|u http://diploma.bibl.u-szeged.hu/id/eprint/59682/1/2016_R%C3%B3zsa_D%C3%A1niel_Istv%C3%A1n_RODSAAT_SZE_SZ.pdf
|z Dokumentum-elérés
|
| 856 |
4 |
0 |
|u http://diploma.bibl.u-szeged.hu/id/eprint/59682/7/2015_rozsa_daniel_melleklet.tgz
|z Dokumentum-elérés
|