• Главная
  • Добавить
  • Новые
  • Исправленные
  • Примеры
    • Добавить
    • Новые
    • Исправленные
    • Из слов
    • В слова
  • Правки
    • Все
    • С комментариями
    • Направление
    • Удалённые
  • Меню ▼
    • Форум
    • Поиск
    • Объявления
    • Помощь ▶
      Принципы Правила Документация 大БКРС
    • Участники
    • Пословный
    • Фразы
    • Скороговорки
    • Частотность
    • Собственные
    • Аддон
    • Скачать словарь
    • Тёмная тема
    • Контакты
  • Войти

高阶谓词演算
_
high-order predicate calculus


higher-order predicate calculus

пословный:

高阶 谓词演算
gāojiē
высшая ступень; высшего порядка, высший
_
predicate calculus

близкие:
高阶谓词逻辑