Directional types for logic programs and the annotation method | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1995

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

логическое программирование

программа

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

Стр.:

43 p.

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

Bibliogr.: p.40-43

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

Номер:

2471

Карточка:

Б2.23.

Boye J., Maluszynski J..

Directional types for logic programs and the annotation method-Cedex., 1995.-43 p.-(Препринт INRIA №2471).
Bibliogr.: p.40-43

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

PREP2 226