Kripke szemantikával megadható logikák alkalmazásai a számítástudományban

Tóth Károly (1977) Kripke szemantikával megadható logikák alkalmazásai a számítástudományban. MA/MSc, József Attila Tudományegyetem.

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

Download (2MB)

Institution

József Attila Tudományegyetem

Faculty

Faculty of Science and Mathematics

Department

nincs megadva

Discipline

informatics

Specialization

matematikus

Supervisor(s)

SupervisorSupervisor scientific name labelEmailEHA
Tóth PéterUNSPECIFIEDUNSPECIFIEDUNSPECIFIED

Item Type: Thesis (MA/MSc)
Date: 1977
Depositing User: TTK szerkesztő
Date Deposited: 2010. Dec. 21. 11:30
Last Modified: 2013. Mar. 14. 07:31
URI: http://diploma.bibl.u-szeged.hu/id/eprint/3922

Actions (login required)

View Item View Item