Дедуктивная и индуктивная системы правил вывода для построения формальных систем

Журнал: Труды МАИ
Авторы:  Малинина
Выпуск № (Вверх):  27
Файл:  Скачать