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