TY  - BOOK
AU  - Агафонов В. Н. 
TI  - Логическое программирование : : Сб. ст. : Пер. с англ. и фр. / 
T2  - Мат. обеспечение ЭВМ
SN  - 5030004904 (В пер.)
PY  - 1988///
CY  - Москва
PB  - Мир
KW  - პროგრამირება
KW  - ელექტრონული კომპიუტერები
KW  - კოგიკური პროგრამირება
N1  - Библиогр.: с. 328-338
ER  -