Год: 2014

Издание: Информатика и системы управления, ВАК

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

Страна, город, издательство: Россия, Благовещенск, ФГБОУ ВПО АмГУ

Выходные данные: №4(42)

Импакт-фактор издания по РИНЦ: 0,382

ISSN / ISBN: 1814-2400

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

Ссылки: