TY  - BOOK
AU  - Захарьящев,М.В.
AU  - Янов,Ю.И.
TI  - Математическая логика в программировании: Сборник статей : Пер. с англ
T2  - Математическое обеспечение ЭВМ
SN  - 503001635X
PY  - 1991///
CY  - М.
PB  - Мир
KW  - Логическое программирование - Сборники
KW  - RU-rurkp
KW  - Вычислительные машины электронные - Программирование - Сборники
N1  - Библиогр. в конце ст
ER  -