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)

Intézmény

József Attila Tudományegyetem

Kar

Természettudományi Kar

Tanszék

nincs megadva

Tudományterület/tudományág

informatika

Szak

matematikus

Témavezető(k)

Témavezető neveBeosztás, tudományos fokozat, intézményEmailEHA kód
Tóth PéterNEM RÉSZLETEZETTNEM RÉSZLETEZETTNEM RÉSZLETEZETT

Mű típusa: Diplomadolgozat (MA/MSc)
Felhasználói azonosító szám (ID): TTIK szerkesztő
Dátum: 2010. Dec. 21. 11:30
Utolsó módosítás: 2013. Már. 14. 07:31
URI: http://diploma.bibl.u-szeged.hu/id/eprint/3922

Actions (login required)

Tétel nézet Tétel nézet