На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Авторитетность издания

ВАК - К1
RSCI, ядро РИНЦ

Добавить в закладки

Следующий номер на сайте

2
Ожидается:
17 Июня 2024

Томчук М.Н.

кандидат технических наук (m.tomchuk@mail.ru)
Вятский государственный университет, г. Киров
Автор статей:
  1. Оценка эффективности систем логического вывода модифицируемых заключений
  2. Соавторы статьи: Страбыкин Д.А.
  3. Система логического вывода модифицируемых заключений
  4. Метод параллельного логического вывода следствий для исчисления высказываний
  5. Соавторы статьи: Страбыкин Д.А., Агалаков Е.В.