TY  - BOOK
AU  - Агафонов, В.Н.
TI  - Логическое программирование
T2  - Математическое обеспечение ЭВМ
SN  - 5-03-000972-8
PY  - 1988///
CY  - М.
PB  - Мир
N2  - Библиогр. в примеч. в конце ст
ER  -