Вы здесь

A Formal Approach to Deductive Synthesis of Constraint Logic Programs

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1995
Стр.: 
P.543-557.
Библиография: 
Bibliogr.: p.557.
Место издания: 
Карточка: 

Б3.21.

Lau K. -K., Ornaghi M..

A Formal Approach to Deductive Synthesis of Constraint Logic Programs-Cambridge.// Logic Programming: Proc. of the 1995 Intern. Symp., 1995.-P.543-557.
Bibliogr.: p.557.

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