Логическое проектирование дискретных устройств с использованием продукционно-фреймовой модели представления знаний П. Н. Бибило Техническая литература