Публикуем! | ||||
Титулы и награды 1960 Кандидат физико-математических наук 1968 Доктор физико-математических наук Работа Санкт-Петербургский государственный университет старший научный сотрудник 1970-2000Санкт-Петербургский государственный университет заведующий лабораторией интеллектуальных систеи НИИ математики и механики СПбГУ Участие Расположение Группа has-activity Математическая логика, конструктивная математика, математическая лингвистика, теория программирования. |