Особенности реализации операции применения подстановки для облачного сервиса автоматизированного конструирования доказательств теорем


2014

Лифшиц А. Я., Шалфеева Е. А.

Информатика и системы управления

Россия, Благовещенск, ФГБОУ ВПО АмГУ

№4(42)

159-169

0,382

1814-2400

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

http://ics.khstu.ru/media/2014/N42_17.pdf