sequent calculus

网络释义

1.	相继式演算 StudyDroid: FlashCards on the web, and in... ... convergent 收敛的 Sequent calculus 相继式演算 falsity 假值 ... www.studydroid.com

随便看

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