THUE rendszerekre vonatkozó eldönthetőségi kérdések (A Knuth-Bendix eljárás)

Tóth István (1990) THUE rendszerekre vonatkozó eldönthetőségi kérdések (A Knuth-Bendix eljárás). MA/MSc, József Attila Tudományegyetem.

[img] PDF
1990_toth_istvan_90_76.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

programtervező matematikus

Supervisor(s)

SupervisorSupervisor scientific name labelEmailEHA
dr. Fülöp ZoltánUNSPECIFIEDUNSPECIFIEDUNSPECIFIED

Item Type: Thesis (MA/MSc)
Date: 1990
Depositing User: TTK szerkesztő
Date Deposited: 2011. Apr. 21. 13:20
Last Modified: 2013. Mar. 14. 07:01
URI: http://diploma.bibl.u-szeged.hu/id/eprint/911

Actions (login required)

View Item View Item