Safe Stratified Datalog with Integer Order Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

логический

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

завершение

обработка

Стр.:

P.154-169

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

Bibliogr.: p.168-169

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

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

Серия:

Lecture Notes in Computer Science

Источник:

Principles and Practice of Constraint Programming - CP 95

Том:

976

Карточка:

Б5.23, Б5.26.

Revesz P. Z..

Safe Stratified Datalog with Integer Order Programs-Berlin, Heidelberg.: Springer// Principles and Practice of Constraint Programming - CP 95, 1995.-Vol. 976.-P.154-169-(Lecture Notes in Computer Science).
Bibliogr.: p.168-169

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

PAP13 528