TY  - BOOK
ED  - АН Белор. ССР. Ин-т техн. кибернетики
TI  - Автоматизация решения логико-комбинаторных задач: Сборник науч. трудов 
PY  - 1985///
CY  - Минск
KW  - მათემატიკური ლოგიკა
KW  - ავტომატიზაცია
N1  - Библиогр. в конце статей
ER  -