Ключевая фраза: секвенциальное исчисление

Материалы

Ниже приведен список материалов, найденных в базе данных SCI.RU, с ключевым словом «секвенциальное исчисление».

Статьи: 1

01.ДАПТИВНАЯ ЧЕЛОВЕКО-МАШИННАЯ СИСТЕМА ПОСТРОЕНИЯ ДОКАЗАТЕЛЬСТВ ТЕОРЕМ (2024)

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

Журнал:

Автор(ы):

Бельтюков А. П., Джудакизаде М.