Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№4
Ожидается:
09 Сентября 2024
Ключевое слово: логическое программирование
- Алгоритмы и программа верификации функциональных моделей Авторы статьи: Корнюшко В.Ф., Бурляева Е.В., Кононенко В.В., Разливинская С.В.
- Разработка прототипа решателя для расширенных шаговых теорий логики высказываний Авторы статьи: Фомина М.В., Фоминых И.Б., Гулякина Н.А., Алексеев Н.П., Кравченко К.С.