Категория:Даниил Исакевич

Страницы в категории «Даниил Исакевич»

Показаны 3 страницы из 3, находящихся в данной категории.

• Опыт использования Рефала-5 для преобразования текстов на формальных языках (Даниил Исакевич, OSSDEVCONF-2024)
• Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023)
• Язык соединений и превращений для формальной эвологии (Даниил Исакевич, OSSDEVCONF-2024)