Вы здесь

Linear Tabulated Resolution Based on Prolog Control Strategy

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2001
Стр.: 
P.71-103
Библиография: 
Bibliogr.: p.102-103
Издательство: 
Номер: 
1
Том: 
1
Карточка: 

Б2.14, Б3.21, В2.1.

Shen Y. -D., Yuan L. -Y., You J. -H., Zhou N. -F..

Linear Tabulated Resolution Based on Prolog Control Strategy: Springer// Theory and Practice of Logic Programming-2001, №1.-Vol. 1.-P.71-103
Bibliogr.: p.102-103

Таблица в старой библиотеке: 
PAP23 194