Вы здесь

The Stable Models of a Predicate Logic Program

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

Б2.54, Б3.21, Б2.21.

Marek V. W., Nerode A., Remmel J. B..

The Stable Models of a Predicate Logic Program-Cambridge.// Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming, 1992.-P.446-460
Bibliogr.: p.459-460

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