TY - BOOK AU - Уткин,Анатолий Александрович AU - Закревский,Аркадий Дмитриевич TI - Анализ логических сетей и техника булевых вычислений PY - 1979/// CY - Минск PB - Наука и техника KW - логические сети KW - булевы функции KW - ЛЯПАС-М, язык программирования логический KW - дискретные устройства KW - логическое проектирование KW - булевы вычисления KW - автоматизация проектирования KW - тестирование логических сетей N1 - Библиогр.: с. 151 ER -