检索结果 - "предикаты первого порядка"
在您的搜寻 主题建议
在您的搜寻 主题建议
- предикаты первого порядка 4
- Математическая логика 2
- исчисление 2
- учебные пособия 2
- decision support 1
- first order predicates 1
- laboratory information system 1
- telemedicine 1
- Алгоритмы, теория 1
- Искусственный интеллект 1
- автоматизация 1
- алгебра 1
- аргументационные рассуждения 1
- арифметика Пеано 1
- вычислительные операторы 1
- дедуктивные рассуждения 1
- доказательства 1
- знания 1
- интеллектуальные динамические системы 1
- инфинитарная логика 1
- лабораторные информационные системы 1
- лекции 1
- машины Тьюринга 1
- моделирование 1
- непротиворечивость 1
- нормальные алгоритмы 1
- планирование 1
- полугруппы 1
- правдоподобные рассуждения 1
- правила 1
-
1
-
2
-
3
-
4