Особенности реализации операции применения подстановки для облачного сервиса автоматизированного конструирования доказательств теорем
Особенности реализации операции применения подстановки для облачного сервиса автоматизированного конструирования доказательств теорем
2014
Лифшиц А. Я., Шалфеева Е. А.
Информатика и системы управления
Россия, Благовещенск, ФГБОУ ВПО АмГУ
№4(42)
159-169
0,382
1814-2400
Шалфеева Е.А., Лифшиц А.Я. Особенности реализации операции применения подстановки для облачного сервиса автоматизированного конструирования доказательств теорем // Информатика и системы управления. - Благовещенск: АмГУ, 2014. - №4(42), C. 159-169.