Combining Symbolic Constraint Solvers on Algebraic Domains

Вы здесь

Автор:

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1994

Ключевые слова:

Стр.:

P.113-155.

Библиография:

Bibliogr.: p.154-155

Источник:

Том:

Карточка:

Б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