詞組短語

短語

• linear sequent calculus 線性矢列演算
• calculus of sequent [數(shù)]相繼式演算

• sequent calculus更多詞組