Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1996

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

объектно-ориентированный

методология

логический

программа

дедуктивный

Стр.:

P.152-169.

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

Bibliogr.: p.168-169.

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

Источник:

Lecture Notes in Computer Science

Том:

1048

Карточка:

Б3.21, Б3.52.

Lau K. -K., Ornaghi M..

Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs: Springer// Lecture Notes in Computer Science-1996.-Vol. 1048.-P.152-169.
Bibliogr.: p.168-169.

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

PAP14 591