A Gentzen-kalkulus implementációja
Elmentve itt :
Szerző: | Rózsa Dániel István |
---|---|
További közreműködők: | Iván Szabolcs (Témavezető) |
Dokumentumtípus: | Szakdolgozat |
Megjelent: |
2015
|
Tárgyszavak: | |
Online Access: | http://diploma.bibl.u-szeged.hu/59682 |
Hasonló tételek
-
Praxisorientált kalkulus előadások
Szerző: Fodor Ferenc, et al.
Megjelent: (2021) -
Praxisorientált kalkulus gyakorlatok
Szerző: Kozma József, et al.
Megjelent: (2021) -
Kalkulus informatikusoknak I. egyetemi tananyag /
Szerző: Győri István, et al.
Megjelent: (2011) -
Kalkulus informatikusoknak II. egyetemi tananyag /
Szerző: Győri István, et al.
Megjelent: (2011) -
Kalkulus példatár informatikusoknak II. egyetemi tananyag /
Szerző: Szalkai István, et al.
Megjelent: (2011)