Введение в курс по теории сложности доказательств | Эдуард Гирш | Лекториум

Лекция 1. Введение | Курс: Теория сложности доказательств | Лектор: Эдуард Гирш | Организатор: Computer Science клуб при ПОМИ РАН
Back to Top