Поиск :
Личный кабинет :
Электронный каталог: Calculemus-99: Integrating Computation and Deduction
Calculemus-99: Integrating Computation and Deduction
Статья
Автор:
Journal of Symbolic Computation: Calculemus-99: Integrating Computation and Deduction : `
б.г.
ISBN отсутствует
Автор:
Journal of Symbolic Computation: Calculemus-99: Integrating Computation and Deduction : `
б.г.
ISBN отсутствует
На полку
Статья
Calculemus-99: Integrating Computation and Deduction : ` // Journal of Symbolic Computation. – 2001. – Vol.32 ,No.4.
Calculemus-99: Integrating Computation and Deduction : ` // Journal of Symbolic Computation. – 2001. – Vol.32 ,No.4.
Привязано к:
Доступно
1 из 1
Выпуск
Journal of Symbolic Computation Vol.32 ,No.4
Academic Press, 10/2001 г.
ISBN отсутствует
Библиотека : ЦБ
Journal of Symbolic Computation Vol.32 ,No.4
Academic Press, 10/2001 г.
ISBN отсутствует
Библиотека : ЦБ