Nem klasszikus logikai módszerek alkalmazása a programozás elméletében.

Schreiber Beatrix (1983) Nem klasszikus logikai módszerek alkalmazása a programozás elméletében. MA/MSc, József Attila Tudományegyetem.

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

Download (13MB)

Intézmény

József Attila Tudományegyetem

Kar

Természettudományi Kar

Tanszék

Halmazelmélet és Matematikai Logika Tanszék

Tudományterület/tudományág

informatika

Szak

nincs megadva

Témavezető(k)

Témavezető neveBeosztás, tudományos fokozat, intézményEmailEHA kód
dr. Tóth Pétertudományos munkatársNEM RÉSZLETEZETTNEM RÉSZLETEZETT
dr. Bohus Mihálytudományos munkatársNEM RÉSZLETEZETTNEM RÉSZLETEZETT

Mű típusa: Diplomadolgozat (MA/MSc)
Felhasználói azonosító szám (ID): TTIK szerkesztő
Dátum: 2010. Okt. 27. 10:00
Utolsó módosítás: 2015. Apr. 29. 10:10
URI: http://diploma.bibl.u-szeged.hu/id/eprint/122

Actions (login required)

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