Extended first-order step theories

Lecture Notes in Networks and Systems. 2022. Т. 330 LNNS. С. 128-136.
Vinkov M., Ivanov V., Fominykh I., Sukhanov A.
Extended first-order step theories
Поделиться
Научно-исследовательский
и проектно-конструкторский институт
информатизации, автоматизации и связи
на железнодорожном транспорте
НИИАС © 2024
Закупки Акционерам Раскрытие информации Противодействие коррупции Политика обработки персональных данных Политика использования cookie-файлов
Контакты Работа в РЖД Удостоверяющий центр
Вход для сотрудниковВход для сотрудников
+7 (495) 967-77-01
Мы используем cookie-файлы для улучшения пользовательского опыта и сбора статистики. Для получения дополнительной информации вы можете ознакомиться с нашей Политикой использования cookie-файлов.