Вы здесь
Richts J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Adapting Methods to Novel Tasks in Proof Planning | 1994 | Huang X., Kerber M., Kohlhase M., Richts J. | Lecture Notes in Artificial Intelligence | 21.10.1994 |