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