A programhelyessébizonyítás logikai módszerei rezolúciós kalkulusok

Gáncs István (1981) A programhelyessébizonyítás logikai módszerei rezolúciós kalkulusok. MA/MSc, József Attila Tudományegyetem.

[img] PDF
1981_gancs_istvan_99.pdf
Hozzáférés joga: Csak nyilvántartásba vett egyetemi IP-kről nyitható meg

Download (1MB)

Institution

József Attila Tudományegyetem

Faculty

Faculty of Science and Mathematics

Department

nincs megadva

Discipline

Informatics

Specialization

nincs megadva

Supervisor(s)

SupervisorSupervisor scientific name labelEmailEHA
Tóth PéterUNSPECIFIEDUNSPECIFIEDUNSPECIFIED

Item Type: Thesis (MA/MSc)
Date: 1981
Depositing User: TTK szerkesztő
Date Deposited: 2011. Apr. 19. 20:00
Last Modified: 2013. Mar. 14. 07:33
URI: http://diploma.bibl.u-szeged.hu/id/eprint/4167

Actions (login required)

View Item View Item