Вахмянин, Даниил Ростиславович, Ярославский государственный университет им. П.Г. Демидова, Россия

• XIV Международная научно-практическая конференция «Современные информационные технологии и ИТ-образование» - ИТ-образование: методология, методическое обеспечение
  АВТОМАТИЗИРОВАННАЯ ОБУЧАЮЩАЯ СИСТЕМА «ДОКАЗАТЕЛЬСТВО УТВЕРЖДЕНИЙ ДЛЯ МНОЖЕСТВ»
  Реферат