Вы здесь

Herbrand Methods in Sequent Calculi: Unification in LL

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

В2.11, Б2.13.

Cerrito S..

Herbrand Methods in Sequent Calculi: Unification in LL-Cambridge.// Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming, 1992.-P.607-621
Bibliogr.: p.619-620

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