The Relationship between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Subrahmanian V. S.

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

1

Вид:

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

Год:

1992

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

логический

программа

семантика

Стр.:

P.365-386.

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

Bibliogr.: p.385-386.

Источник:

Theoretical Computer Science

Номер:

2

Том:

103

Карточка:

Б2.24.

Marek W., Subrahmanian V. S..

The Relationship between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs// Theoretical Computer Science-1992, №2.-Vol. 103.-P.365-386.
Bibliogr.: p.385-386.

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

PAP4 472