Перейти к основному содержанию
XIV Всероссийское совещание по проблемам управления
Россия, Москва, ИПУ РАН, 17-20 июня 2024
Главное меню
Главная
Общая информация
Даты
Программа
Пленарные доклады
Участие
Оргвзнос
Контакты
Труды
автоматическое доказательство теорем
Вы здесь
Главная
Вход на сайт
PIN или E-mail
*
Пароль
*
Регистрация
Забыли пароль?
Применение позитивно-образованных формул для исследования частично-наблюдаемых ДСС
Подробнее
о Применение позитивно-образованных формул для исследования частично-наблюдаемых ДСС
