THUE rendszerekre vonatkozó eldönthetőségi kérdések (A Knuth-Bendix eljárás)
Elmentve itt :
| Szerző: | |
|---|---|
| További közreműködők: | |
| Dokumentumtípus: | Szakdolgozat |
| Megjelent: |
1990
|
| Tárgyszavak: | |
| Online Access: | http://diploma.bibl.u-szeged.hu/911 |
| További adatokért lásd a Minden adat megjelenítése... fület |