Метакидес, Г.
Принципы логики и логического программирования / Захаров В.А. (пер. с англ.) и др.; Садовничий В.А., Захаров В.А. (ред. пер.). — Москва : Факториал, 1998. — 288 с. : ил. — ISBN 5886880372.
Библиогр. : с. 275-278.
Предм. указ. : с. 279-285.
.
Нероуд, А.
Садовничий, В. А.
Захаров, В. А.
УДК: 510.6(07) ; 004.42.047 ; 004.434:004.8
[ SYS NUM: 6393 ]