calculus of natural deduction

[calculus of natural deduction]
[calculus of natural deduction]

中文释义

[数] 自然推理演算

单词分析

单词结构:

calculus of natural deduction

字母数:29

记忆提示

🎯 重点记忆:

  • 单词拼写:calculus of natural deduction
  • 核心含义:[数] 自然推理演算