TY - BOOK AU - Агибалов,Геннадий Петрович AU - Беляев,Виктор Афанасьевич ED - Томский государственный университет TI - Технология решения комбинаторно-логических задач методом сокращенного обхода дерева поиска PY - 1981/// CY - Томск PB - Издательство Томского университета KW - Комбинаторика (мат. ) KW - задачи KW - монографии N1 - Библиогр. в конце глав UR - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000071369 ER -