Вы здесь

Combining Symbolic Constraint Solvers on Algebraic Domains

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1994
Стр.: 
P.113-155.
Библиография: 
Bibliogr.: p.154-155
Источник: 
Том: 
18
Карточка: 

Б2.1, В2.11.

Kirchner H., Ringeissen C..

Combining Symbolic Constraint Solvers on Algebraic Domains// J. Symbolic Computation-1994.-Vol. 18.-P.113-155.
Bibliogr.: p.154-155

Таблица в старой библиотеке: 
PAP17 570