Rublev, Vadim, & Daniil Rostislavovich Vahmyanin.
" Автоматизированная обучающая система «Доказательство утверждений для множеств»." <em>Современные информационные технологии и ИТ-образование</em> [Онлайн], 15.4 (2019): 866-875. Веб.  3 Jul. 2024