Вы здесь
On Specification Frameworks and Deductive Synthesis of Logic Programs
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1994
Ключевые слова:
Стр.:
P.104-121.
Библиография:
Bibliogr.: p.120-121.
Издательство:
Источник:
Том:
883
Карточка:
Б3.21, Б2.23.
Lau K. -K., Ornaghi M..
On Specification Frameworks and Deductive Synthesis of Logic Programs: Springer// Lecture Notes in Computer Science-1994.-Vol. 883.-P.104-121.
Bibliogr.: p.120-121.
Таблица в старой библиотеке:
PAP10 711