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