Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs

Вы здесь

Автор:

Pearce D.

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

Вид:

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

Год:

1992

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

логический

вывод

программирование

Стр.:

P.63-79.

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

Bibliogr.: p.77-79.

Источник:

Lecture Notes in Artificial Intelligence

Том:

619

Карточка:

В2.11.

Pearce D..

Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs// Lecture Notes in Artificial Intelligence-1992.-Vol. 619.-P.63-79.
Bibliogr.: p.77-79.

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

PAP4 68