Pointwise Circunscription Is Equivalent to Predicate Completion (Sometimes) | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1988

Ключевые слова:

эквивалентность

предикатный

завершение

логическое программирование

Стр.:

P.1097-1105

Библиография:

Bibliogr.: p.1105

Место издания:

Издательство:

Источник:

Logic Programming: Proc./Fifth Intern.Conf. and Symp.

Том:

2

Карточка:

Б3.21.

Moinard Y..

Pointwise Circunscription Is Equivalent to Predicate Completion (Sometimes)-Cambridge.: The MIT Press// Logic Programming: Proc./Fifth Intern.Conf. and Symp., 1988.-Vol. 2.-P.1097-1105
Bibliogr.: p.1105

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

LOG1 168