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