A Gentzen-kalkulus implementációja

Rózsa, Dániel István (2015) A Gentzen-kalkulus implementációja. BA/Bsc, Szegedi Tudományegyetem.

[thumbnail of 2016_Rózsa_Dániel_István_RODSAAT_SZE_SZ.pdf] PDF
2016_Rózsa_Dániel_István_RODSAAT_SZE_SZ.pdf
Hozzáférés joga: SZTE designated computers only

Download (1MB)
[thumbnail of 2015_rozsa_daniel_melleklet.tgz] Archive (TGZ)
2015_rozsa_daniel_melleklet.tgz
Hozzáférés joga: SZTE designated computers only

Download (28kB)

English title

Implementation of the Gentzen calculus

Institution

Szegedi Tudományegyetem

Faculty

Faculty of Science and Informatics

Department

Számítástudomány Alapjai Tanszék

Discipline

Natural Sciences

Specialization

programtervező informatikus

Supervisor(s)

Supervisor
Supervisor scientific name label
Email
EHA
Iván, Dr. Szabolcs
adjunktus
UNSPECIFIED
UNSPECIFIED

Item Type: Thesis (BA/Bsc)
Depositing User: TTIK szerkesztő
Date Deposited: 2016. Nov. 07. 09:10
Last Modified: 2022. Jan. 25. 10:32
URI: http://diploma.bibl.u-szeged.hu/id/eprint/59682

Actions (login required)

View Item View Item