sequent calculus

词组短语

短语

• linear sequent calculus 线性矢列演算
• calculus of sequent [数]相继式演算

• sequent calculus更多词组