TY  - BOOK
AU  - Метакидес,Г.
AU  - Нероуд, А.
AU  - Садовничий, В. А.
AU  - Захаров, В. А.
TI  - Принципы логики и логического программирования
SN  - 5886880372
PY  - 1998///
CY  - Москва
PB  - Факториал
N1  - Библиогр. : с. 275-278; Предм. указ. : с. 279-285; Пер. изд. : Principles of logic and logic programming / Metakides G., Nerode A; Amsterdam etc., Cop. 1996
ER  -