Лаборатория логических систем Института математики им. С.Л. Соболева СО РАН
|
В нашей лаборатории проводятся исследования по следующим направлениям:
|
Адрес:
проспект Академика Коптюга 4, 630090 Новосибирск
|