Embedding Finite Sets in a Logic Programming Language | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1992

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

конечный

множество

логический

язык программирования

Стр.:

P.150-167.

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

Bibliogr.: p.166-167.

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

Источник:

Lecture Notes in Artificial Intelligence

Том:

660

Карточка:

Б2.13, Б3.14.

Dovier A., Omodeo E. G., Pontelli E., Rossi G..

Embedding Finite Sets in a Logic Programming Language: Springer// Lecture Notes in Artificial Intelligence-1992.-Vol. 660.-P.150-167.
Bibliogr.: p.166-167.

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

PAP5 597