RUBLEV, Vadim Sergeevich; 						VAHMYANIN, Daniil Rostislavovich.
 Автоматизированная обучающая система «Доказательство утверждений для множеств».
<strong>Современные информационные технологии и ИТ-образование</strong>, [S.l.], v. 15, n. 4, p. 866-875, dec. 2019.
ISSN 2411-1473. Доступно на: &lt;<a href="http://sitito.cs.msu.ru/index.php/SITITO/article/view/549" target="_new">http://sitito.cs.msu.ru/index.php/SITITO/article/view/549</a>&gt;. Дата доступа: 26 apr. 2024
doi: <a href="https://doi.org/10.25559/SITITO.15.201904.866-875">https://doi.org/10.25559/SITITO.15.201904.866-875</a>.