Год: 2014

Автор: Лифшиц А. Я., Шалфеева Е. А.

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

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

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

Номера или кол-во страниц: 159-169

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

ISSN / ISBN: 1814-2400

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

Ссылки: