Свидетельства об официальной регистрации программ — 2006
- Давыдов А. В., Коноплев А.Н. Программная система "PCF Prover 1.0" для поиска логических выводов: Свидетельство об официальной регистрации программы для ЭВМ № 2006613399. — М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2006.
- Опарин Г.А., Богданова В.Г. Интеллектуальный решатель задач в булевых ограничениях (REBUS): Свидетельство об официальной регистрации программы для ЭВМ № 2006613367. — М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2006.
- Опарин Г.А., Новопашин А.П. Система крупноблочного синтеза параллельных программ на языке Fortran-DVM (СиКруСПП): Свидетельство об официальной регистрации программы для ЭВМ № 200661314. — М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2006.
- Потапов А.А. Способ измерения энергии межатомных и межмолекулярных взаимодействий и координационного числа атомных и молекулярных веществ: Патент на изобретение № 2287153. — М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2006.
- Тирских В.В. Программа расчета функции давления на симметричный контур при погружении через свободную поверхность тяжелой жидкости: Свидетельство об официальной регистрации программы для ЭВМ № 2006610765. — М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2006.
- Ульянов С.А. Программный модуль для построения редуцированных логико-динамических моделей автоматного типа: Свидетельство об официальной регистрации программы для ЭВМ № 2006610938. — М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2006.
- Ульянов С.А. Программный модуль для анализа логико-динамических моделей автоматного типа: Свидетельство об официальной регистрации программы для ЭВМ № 2006610937. — М.: Федеральная служба по интеллектуальной собственности, патентам и товарным знакам, 2006.
|
Russian
English