On Termination of Constraint Logic Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

логический

программа

ограничение

завершение

Стр.:

P.431-448

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

Bibliogr.: p.448

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

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

Серия:

Lecture Notes in Computer Science

Источник:

Principles and Practice of Constraint Programming - CP 95

Том:

976

Карточка:

Б2.23.

Colussi L., Marchiori E., Marchiori M..

On Termination of Constraint Logic Programs-Berlin, Heidelberg.: Springer// Principles and Practice of Constraint Programming - CP 95, 1995.-Vol. 976.-P.431-448-(Lecture Notes in Computer Science).
Bibliogr.: p.448

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

PAP13 537