Ключевая фраза: минимальная предикатная логика

Материалы

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

Статьи: 1

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

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

Журнал:

Автор(ы):

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