Compilative Constructive Negation in Constraint Logic Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1994

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

ограничение

логический

программа

конструктивный

отрицание

корректность

Стр.:

P.52-67.

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

Bibliogr.: p.66-67.

Источник:

Lecture Notes in Computer Science

Том:

787

Карточка:

Б2.13.

Bruscoli P., Levi F., Levi G., Meo M. C..

Compilative Constructive Negation in Constraint Logic Programs// Lecture Notes in Computer Science-1994.-Vol. 787.-P.52-67.
Bibliogr.: p.66-67.

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

PAP8 380