Уткин, А. А.     Анализ логических сетей и техника булевых вычислений [Text] / А. А. Уткин ; ред. : А. Д. Закревский ; Институт технической кибернетики. - _.¬. : Наука и техника, 1979. - 152с. - Б. ц. ГРНТИ ^a27^2rugasnti УДК ^a519.715 Рубрики: математика Кл.слова (ненормированные): 1 ; БУЛЕВЫ вычисления -- 1 ; матричные формы -- 1 ; интервальные формы -- 1 ; построение тестов -- 1 ; ДИСКРЕТНЫЕ УСТРОЙСТВА -- 1 ; ЛОГИЧЕСКИЕ СЕТИ Доп.точки доступа: Закревский, А.Д. \.\; Институт технической кибернетики Свободных экз. нет