Авторитетность издания
ВАК - К1
RSCI, ядро РИНЦ
Добавить в закладки
Следующий номер на сайте
№4
Ожидается:
09 Декабря 2024
Агалаков Е.В.
(favt_agalakov@vyatsu.ru)
Вятский государственный университет, г. Киров
Автор статей:
- Метод параллельного логического вывода следствий для исчисления высказываний Соавторы статьи: Томчук М.Н., Страбыкин Д.А.