TY - BOOK AU - Канович,М.И. ED - Калининский гос. ун-т TI - Логические методы построения эффективных алгоритмов: Междуведомоственный тематический сборник научных трудов PY - 1986/// CY - Калинин PB - Калиниского гос. ун-та KW - Алгоритмизация процесса - Логические основы ER -