Московские чтения по конструктивной логике и представлению знаний
к 60-летию С. Н. Артёмова

Moscow Workshop on Constructive Logic and Knowledge Representation

30—31 мая 2012

Москва

Список докладчиков

С. Н. Артёмов
Н. К. Верещагин
Е. В. Дашков
Е. Е. Золин
А. Ю. Коновалов
В. Н. Крупский
А. В. Кудинов
С. Л. Кузнецов
И. И. Осипов
Ф. Н. Пахомов
М. Р. Пентус
В. Е. Плиско
А. Е. Подгайц
Д. П. Скворцов
А. А. Сорокин
Г. М. Челноков
А. С. Чижов
Д. С. Шамканов
И. Б. Шапировский
В. Б. Шехтман
Т. Л. Яворская
Р. Э. Яворский