Публикации, материалы... Дедуктивная и индуктивная системы правил вывода для построения формальных систем Журнал: Труды МАИ Авторы: Малинина Выпуск № (Вверх): 27 Файл: Скачать