Hilbert-típusú kalkulusok implementációja

Harcsás, Anita (2012) Hilbert-típusú kalkulusok implementációja. BA/Bsc, Szegedi Tudományegyetem.

	Text 2012_harcsas_anita.pdf - Thesis Hozzáférés joga: SZTE designated computers only Download (5MB)
	Text 2012_harcsas_anita_biralati.pdf - Review Hozzáférés joga: Repository staff only Download (101kB)
	Archive 2012_harcsas_anita.tgz - Supplement Hozzáférés joga: SZTE designated computers only Download (419kB)

Institution

Szegedi Tudományegyetem

Faculty

Faculty of Science and Informatics

Department

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

Discipline

Informatics

Specialization

programtervező informatikus

Supervisor(s)

Item Type:	Thesis (BA/Bsc)
Subjects:	01. Natural sciences > 01.02. Computer and information sciences
Depositing User:	TTK szerkesztő
Date Deposited:	2012. Jul. 11. 09:47
Last Modified:	2013. Mar. 14. 10:09
URI:	https://diploma.bibl.u-szeged.hu/id/eprint/37424

Actions (login required)

View Item