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. Masters, József Attila Tudományegyetem.

[thumbnail of 1977_toth_karoly_160.pdf] PDF
1977_toth_karoly_160.pdf
Hozzáférés joga: SZTE designated computers only

Download (2MB)

Institution

József Attila Tudományegyetem

Faculty

Faculty of Science and Mathematics

Department

nincs megadva

Discipline

Informatics

Specialization

matematikus

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: 2010. Dec. 21. 11:30
Last Modified: 2013. Mar. 14. 07:31
URI: https://diploma.bibl.u-szeged.hu/id/eprint/3922

Actions (login required)

View Item View Item