Loop Checking and the Well-Founded Semantics

Вы здесь

Автор:

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

Вид:

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

Год:

1995

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

Стр.:

P.127-142.

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

Bibliogr.: p.141-142.

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

Источник:

Том:

928

Карточка:

Б2.14, Б2.24.

Lifschitz V., Mccain N., Przymusinski T. C., Stark R. F..

Loop Checking and the Well-Founded Semantics: Springer// Lecture Notes in Artificial Intelligence-1995.-Vol. 928.-P.127-142.
Bibliogr.: p.141-142.

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

PAP12 141