Год: 2014

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

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

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

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

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

Импакт-фактор издания:

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

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

ISSN / ISBN: 1814-2400

Ссылки: