A Gentzen-kalkulus implementációja

QR kód

A Gentzen-kalkulus implementációja

Elmentve itt :

Bibliográfiai részletek
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:	Természettudományok
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)

Bonyolultságelméleti visszavezetések szemléletes implementációja
Szerző: Bajnóczi Bendegúz
Megjelent: (2020)

A Hilbert-rendszer hatékony implementációja
Szerző: Juhász Roland
Megjelent: (2013)

Metal grafikus API Vulkan implementációja
Szerző: Rávai Adrián
Megjelent: (2023)

A kétrétegű dinamikus pragmatika implementációja
Szerző: Szeteli Ádám, et al.
Megjelent: (2022)

Hilbert-típusú kalkulusok implementációja
Szerző: Harcsás Anita
Megjelent: (2012)

Közgazdasági modellek számítógépes implementációja
Szerző: Tisza Éva
Megjelent: (1996)

Mintaillesztő eljárások összehasonlítása és implementációja
Szerző: Szerető István
Megjelent: (1994)

Labirintus generáló algoritmus és játékbeli implementációja
Szerző: Kálmán Inez
Megjelent: (2022)

A kompetencia alapú fejlesztés implementációja
Szerző: Duhaj Szidónia
Megjelent: (2015)

Objektum orientált perzisztencia réteg implementációja Java nyelven
Szerző: Nagy Viktor
Megjelent: (2015)

A R/TRAN nyelv implementációja
Szerző: Tar Eleonóra
Megjelent: (1984)

A HLP fordító Pascal implementációja
Szerző: Toczki János
Megjelent: (1984)

Lekérdező nyelv leírása és implementációja
Szerző: Szász Péter
Megjelent: (1992)

Az Occam nyelv elosztott implementációja
Szerző: Nyári Zoltán
Megjelent: (2008)

Környezetfüggetlen nyelvtanok implementációja objektumorientált környezetben
Szerző: Rácz Attila
Megjelent: (1997)

Biztonságos ügyfélanalítikai platform tervezése és implementációja
Szerző: Nádudvari Lajos Gábor
Megjelent: (2017)

A SIMIC szimulációs nyelv egy implementációja
Szerző: Kámán Magdolna
Megjelent: (1983)

A ZModem protokoll, és JAVA implementációja
Szerző: Farkas Dávid
Megjelent: (2001)

Virtuális valóság implementációja mobiltelefonos hálózati környezetben
Szerző: Hegyi Zsolt
Megjelent: (2004)

Általános lemezújság-formátum és PC-s implementációja
Szerző: Gombos Bertalan
Megjelent: (1997)

A TDoA alapján történő helymeghatározás algoritmusának implementációja
Szerző: M. Krumenacker Franz
Megjelent: (2021)

Konyhai segéd WordPress plugin implementációja recepttár adatbázissal
Szerző: Kovács Karolina
Megjelent: (2020)

Pedagógiai terek iskolai implementációja architektúra és funkcionális terek a mindennapok pedagógiai világában /
Szerző: Hercz Mária, et al.
Megjelent: (2009)

Kalmár László levele a sanghaji Fudan Egyetem Matematika Kar Számítási (Kalkulus) Tanszék hallgatóhoz
Szerző: Kalmár László
Megjelent: (1959)

A ReALIS statikus interpretációjának kísérleti implementációja
Szerző: Károly Márton
Megjelent: (2013)

Felvetések a UCP irányelv magyarországi implementációja kapcsán
Szerző: Hajnal Zsolt
Megjelent: (2007)

Általános elemző szintaxisa és implementációja CDL2 nyelven
Szerző: Varga István
Megjelent: (1982)

Szállodai nyilvántartó rendszer Internetes felületen való implementációja
Szerző: Halász Gabriella
Megjelent: (2001)

Egy User Interface Generator rendszer standard moduljainak implementációja
Szerző: Kovács Tibor
Megjelent: (1990)

SVG filterek shader alapú implementációja a WebKit böngészőmotorban
Szerző: Varga Olivér
Megjelent: (2012)

Pozíció meghatározás egy fuzzy logikai algoritmusának implementációja és vizsgálata
Szerző: Kis Ádám
Megjelent: (2012)

Felsőoktatási szakpolitikák tervezése és implementációja longitudinális, komparatív és kauzális perspektívában
Szerző: Horváth László
Megjelent: (2015)

Az SMS technológia bemutatása és egy SMS Center szimulátor implementációja
Szerző: Halász Gabriella
Megjelent: (2003)

PROF-LP fordítóprogram-generátor rendszer implementációja ANSI C-ben I.
Szerző: Kalmár Adrián
Megjelent: (1999)

PROF-LP fordítóprogram-generátor rendszer implementációja ANSI C-ben II.
Szerző: Dani Zsolt
Megjelent: (1998)