Вы здесь
A Constraint Solver in Finite Algebras and its Combination with Unification Algorithms
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1992
Ключевые слова:
Стр.:
P.225-239
Библиография:
Bibliogr.: p.238-239
Место издания:
Карточка:
Б3.21, В2.11.
Kirchner H., Ringeissen C..
A Constraint Solver in Finite Algebras and its Combination with Unification Algorithms-Cambridge.// Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming, 1992.-P.225-239
Bibliogr.: p.238-239
Таблица в старой библиотеке:
LOG1 272