Свидетельства об официальной регистрации программ — 2005
- Васильев С.Н., Гулямов Ш.Б. Система автоматического синтеза теорем АСТ: Свидетельство об официальной регистрации программы для ЭВМ № 2005610836 от 11.04.05 г. — М., 2005.
- Николайчук О.А., Павлов А.И., Юрин А.Ю. Инструментальное средство создания интеллектуальных систем поддержки принятия решений для идентификации технического состояния деталей машин и конструкций: Свидетельство об официальной регистрации программы для ЭВМ № 2005611217 от 25.05.05 г. — М., 2005.
- Николайчук О.А., Павлов А.И., Юрин А.Ю. Инструментальное средство создания информационных систем автоматизации процесса исследования и обеспечения надежности механических систем: Свидетельство об официальной регистрации программы для ЭВМ № 2005611218 от 25.05.05 г. — М., 2005.
|