Власов Дмитрий Юрьевич Россия, Новосибирск Степень кандидат физико-математических наук Область научных интересов формальная математика автоматическое доказательство теорем Место работы и должность Институт математики СО РАН — научный сотрудник Новосибирский государственный университет — старший преподаватель Адрес электронной почты vlasov@academ.org vlasov.dmitry.1976@gmail.com
Власов Д.Ю. Описание системы: Russell — логический каркас для дедуктивных систем // Системная информатика. — 2019. — № 15. — С. 1-12
