Показать сокращенную информацию

Римацкий, Виталий Валентинович
Моор, Михаил Александрович
2017-12-08T07:15:05Z
2017-12-08T07:15:05Z
2017
Моор, Михаил Александрович. Явный базис допустимых правил вывода табличных логик [Электронный ресурс] : магистерская диссертация : 01.04.01 / М. А. Моор. — Красноярск : СФУ, 2017.
https://elib.sfu-kras.ru/handle/2311/68111
ru_RU
Сибирский федеральный университет
Явный базис допустимых правил вывода табличных логик
Thesis
Master Thesis
01.04.01
Магистр
Красноярск
27.03.19
2017-12-08T07:15:05Z
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
01.04.01 Математика
01.04.01.02
01.04.01.02 Алгебра, логика и дискретная математика
кандидат физико-математических наук, доцент


Файлы в этом документе

Thumbnail

Данный элемент включен в следующие коллекции

Показать сокращенную информацию