TY  - BOOK
AU  - Агибалов,Геннадий Петрович
AU  - Беляев,Виктор Афанасьевич
TI  - Технология решения комбинаторно-логических задач методом сокращенного обхода дерева поиска
PY  - 1981///
CY  - Томск
PB  - Изд-во Том. ун-та
KW  - Комбинаторика [мат.] - Задачи - Решение
ER  -