相继式演算
- 网络Sequent calculus; calculus of sequent
相继式演算相继式演算
Sequent calculus
StudyDroid: FlashCards on the web, and in... ... convergent 收敛的 Sequent calculus 相继式演算 falsity 假值 ...
calculus of sequent
'Ã¥Â�Ž&Atil... ... sub sequent fire 后续火 calculus of sequent 相继式演算 ...