| |
Шалфеева, Е.
Особенности реализации операции применения подстановки для облачного сервиса автоматизированного конструирования доказательств теорем [Текст] / Е. Шалфеева, А. Я. Лифшиц
// Информатика и системы управления. – 2014. – № 4. – С. 159-169.
Представлены метод реализации программных компонентов и способ представления обрабатываемой информации для облачных сервиров доказательства теорем. |
