Проектирование цифровых систем с использованием логического программирования Шайна, Януш ВАК РФ 05.13.13 Стр. 1 из 38