Вход

Ключевая фраза: РЕШАТЕЛЬ

Ниже приведен список материалов, найденных в базе данных SciNetwork, с ключевым словом «РЕШАТЕЛЬ».

Статьи: 1

01.РАЗРАБОТКА ПРОТОТИПА РЕШАТЕЛЯ ДЛЯ РАСШИРЕННЫХ ШАГОВЫХ ТЕОРИЙ ЛОГИКИ ВЫСКАЗЫВАНИЙ (2022)

Сохранить в закладках

Журнал:

ПРОГРАММНЫЕ ПРОДУКТЫ И СИСТЕМЫ

Автор(ы):

Фоминых И. Б., Фомина М. В., Гулякина Н. А., Кравченко К. С., Алексеев Н. П.