Вы здесь
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