Миронов А.М.-Методы ИИ в задачах анализа данных-Лекция 2.Верификация алгоритмов возведения в степень
Teach-In
Верификация алгоритмов возведения в степень и сортировки массива Курс: Методы искусственного интеллекта в задачах анализа данных и верификации программ Ссылка на плейлист: