Власов, Дмитрий Юрьевич
(Новосибирский государственный университет, 2012)
Описывается синтаксис и семантика языка smm компьютерного языка формальной математики, предназначенного для представления современной математики на формальном уровне и надежной проверки, который является упрощенной версией ...