TY  - BOOK
TI  - Применение логических методов в программировании
T2  - Программирование
VL  - № 1. Темат. вып.
PY  - 1998///
CY  - М.
PB  - Наука, МАИК "Наука"
N2  - Библиогр. в конце ст
ER  -