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

自然推论演算
_
исчисление естественного вывода


пословный:

自然推论 论演 演算
_
natural deduction
_
研究阐发。
yǎnsuàn
мат. исчисление, вычисление, действие; упражняться в решении; математические упражнения


близкие:
自然推理 自然推理演算 自然推理策略 自然推理系统 自然推进剂