Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикации
Хелемендик Роман Викторович
Персональная страница: https://keldysh.ru/persons/269.html
Email:
ORCID: 0000-0002-5244-6456

2019 год
1.  Материал конференции, 2019
Авторы: Хелемендик Р.В., Пряничников В.Е., Сивакова Т.В.
Название: О расширении методологии IGEC и ее применении в задачах интеллектуальной роботроники

2006 год
2.  Статья в сборнике "Математические вопросы кибернетики" №15, Москва, 2006
Авторы: Хелемендик Р. В.
Название: Алгоритм распознавания выполнимости формул логики ветвящегося времени и эффективный алгоритм построения выводов общезначимых формул из аксиом