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