sequent calculus

短語詞組

短語

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