Лаборатория логических систем Института математики им. С.Л. Соболева СО РАН

Направления Сотрудники Из истории

В стадии разработки

Адрес: проспект Академика Коптюга 4, 630090 Новосибирск