Proof Methods of Declarative Properties of Definite Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1990

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

логический

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

доказательство

Стр.:

64 p.

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

Номер:

RR N 1248

Карточка:

Б3.21.

Deransart P..

Proof Methods of Declarative Properties of Definite Programs-Rocquencourt., 1990.-64 p.-(Препринт INRIA №RR N 1248).

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

PREP1 248