cut-elimination

网络释义

1.	消去法在这种联系中，我也更一般地证明像切割－消去法（Cut Elimination）那样的证明论方法如何能用于数学语言学和语义学。所以 … kbs.cnki.net

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。