>

deduction theorem

📖 中文释义

  1. [计] 演绎定理