На правах рекламы:
ISSN 0236-235X (P)
ISSN 2311-2735 (E)
Подать статью

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

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

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

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

№4
Ожидается:
09 Декабря 2024
RSS
Подписаться на RSS

Страбыкин Д.А.

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