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

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

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