Вы здесь
Becher G.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Rigid Unification by Completion and Rigid Paramodulation | 1994 | Becher G., Petermann U. | Lecture Notes in Artificial Intelligence | 21.10.1994 |
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Rigid Unification by Completion and Rigid Paramodulation | 1994 | Becher G., Petermann U. | Lecture Notes in Artificial Intelligence | 21.10.1994 |