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