Вы здесь

Interactive Theorem Proving and Computer Algebra

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.1-9
Библиография: 
Bibliogr.: p.8-9
Место издания: 
Том: 
958
Карточка: 

Б4.23, В2.11.

Ueberberg J..

Interactive Theorem Proving and Computer Algebra-Berlin, Heidelberg.// Integrating Symbolic Mathematical Computation and Artificial Intelligence, 1995.-Vol. 958.-P.1-9-(Lecture Notes in Computer Science).
Bibliogr.: p.8-9

Таблица в старой библиотеке: 
PAP13 43