Вы здесь

Higher-Order E-Unification for Arbitrary Theories

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1992
Стр.: 
P.52-66
Библиография: 
Bibliogr.: p.65-66
Место издания: 
Издательство: 
Карточка: 

Б3.21, Б2.14, В2.11.

Qian Z., Wang K..

Higher-Order E-Unification for Arbitrary Theories-Cambridge.: The MIT Press// Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming, 1992.-P.52-66
Bibliogr.: p.65-66

Таблица в старой библиотеке: 
LOG1 261