The m-calculus over Finite Domains as an Abstract Semantics of Prolog | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1992

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

семантика

абстрактный

Стр.:

P.51-59.

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

Bibliogr.: p.59.

Источник:

Номер:

81-82

Карточка:

Б2.14, Б2.24.

Corsini M. -M., Musumbu K., Rauzy A..

The m-calculus over Finite Domains as an Abstract Semantics of Prolog// BIGRE-1992, №81-82.-P.51-59.
Bibliogr.: p.59.

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

PAP4 551