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

Text 1990_toth_istvan_90_76.pdf - Thesis 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

programtervező matematikus

Supervisor(s)

Item Type:	Thesis (Masters)
Subjects:	01. Natural sciences > 01.02. Computer and information sciences
Depositing User:	TTK szerkesztő
Date Deposited:	2011. Apr. 21. 13:20
Last Modified:	2013. Mar. 14. 07:01
URI:	https://diploma.bibl.u-szeged.hu/id/eprint/911

Actions (login required)

View Item