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

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

Докладчик - М.И. Марчук
Доклад - реферат статьи:
              Khoussainov B., Shore R.A.
              "Effective model theory: the number of models and their complexity"
              (продолжение)