Семинар "Конструктивные модели"

22 мая 2017 года (в понедельник) в ИМ СО РАН в ауд. 344 в 18-10
состоится заседание семинара "Конструктивные модели"

Докладчик - Н.А. Баженов
Доклад - реферат статьи
             M. Harrison-Trainor "There is no classification of the decidably presentable structures" (продолжение)

0