Вы здесь

Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP

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

Б2.24.

Shimajiri Y., Seki H., Itoh H..

Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP-Cambridge.: The MIT Press// Logic Programming, 1997.-P.376-390.
Bibliogr.: p.389-390

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