Генератор моделей строковых структур RefSTRMod
преобразование программ, уравнения в словах,
Программа предназначена для порождения моделей в терминах параметризованных строк на стандартном языке описания моделей STR-LIB 2.5, а также на языке Рефал.
Построение бенчмарков для задач верификации.
Сергей
Абрамов
Михайлович
врио директора
Доктор физико-математических наук
Член-корреспондент РАН
-
7005979792
1927
https://elibrary.ru/author_items.asp?authorid=1927&pubrole=100&show_refs=1&show_option=0
0000-0001-6603-7971
РОССИЯ
Сергей
Абрамов
Михайлович
ио директора
РОССИЯ
28.23.15
Распознавание образов. Обработка изображений
28.23.29
Программная реализация интеллектуальных систем
50.05.09
Языки программирования
50.41.23
Программное обеспечение вычислительных сетей
50.33.04
Перспективные архитектуры. Архитектуры параллельной обработки
01.02.EP
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
01.02.ET
COMPUTER SCIENCE, INFORMATION SYSTEMS
01.02.EX
COMPUTER SCIENCE, THEORY & METHODS
Антонина
Непейвода
Николаевна
Идея создания программы и реализация
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ИПС ИМ. А.К. АЙЛАМАЗЯНА РАН
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ НАУКИ ИНСТИТУТ ПРОГРАММНЫХ СИСТЕМ ИМ. А.К. АЙЛАМАЗЯНА РОССИЙСКОЙ АКАДЕМИИ НАУК
1027601052225
ИВАН
ГРИГОРЕВСКИЙ
НИКОЛАЕВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения