Вы здесь
Adi M.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | AC-Unification Race: The System Solving Approach, Implementation and Benchmarks | 1992 | Adi M., Kirchner C. | J. Symbolic Computation | 09.04.1998 |