calculus of sequent
美式发音
英式发音
词典收录
| 英文单词： | calculus of sequent |
|---|---|
| 中文翻译： | [数] 相继式演算 |
词汇解析
[数] 相继式演算
常见用法
calculus of sequent 的常见用法：
- calculus of sequenting
- to calculus of sequent
- calculus of sequents