Институт динамики систем и теории управления имени В.М. Матросова СО РАН, Отделение 3. Логических и оптимизационных методов автоматизации решения задач

Лаборатория 3.2. Дискретного анализа и прикладной логикиподразделение

список сотрудников
работы, добавленные за последние 2 недели