Вы здесь
Gobel R.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | A complition procedure for globally finite term rewriting systems | 1983 | Gobel R. | Univ. Kaiserslautern | 14.09.1991 |
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | A complition procedure for globally finite term rewriting systems | 1983 | Gobel R. | Univ. Kaiserslautern | 14.09.1991 |