Вы здесь
Homann K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Combining Theorem Proving and Symbolic Mathematical Computing | 1995 | Homann K., Calmet J. | Lecture Notes in Computer Science | Integrating Symbolic Mathematical Computation and Artificial Intelligence | 27.09.1995 |