Gáncs, István (1981) A programhelyessébizonyítás logikai módszerei rezolúciós kalkulusok. Masters, József Attila Tudományegyetem.
![[thumbnail of 1981_gancs_istvan_99.pdf]](https://diploma.bibl.u-szeged.hu/style/images/fileicons/application_pdf.png) |
PDF
1981_gancs_istvan_99.pdf Hozzáférés joga: SZTE designated computers only Download (1MB) |
Institution
József Attila Tudományegyetem
Faculty
Faculty of Science and Mathematics
Department
Discipline
Specialization
Supervisor(s)
Supervisor
Supervisor scientific name label
Email
EHA
Tóth, Péter
UNSPECIFIED
UNSPECIFIED
UNSPECIFIED
| Item Type: | Thesis (Masters) |
|---|---|
| Subjects: | 01. Natural sciences > 01.02. Computer and information sciences |
| Depositing User: | TTK szerkesztő |
| Date Deposited: | 2011. Apr. 19. 20:00 |
| Last Modified: | 2013. Mar. 14. 07:33 |
| URI: | https://diploma.bibl.u-szeged.hu/id/eprint/4167 |
Actions (login required)
 |
View Item |
