Вы здесь

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