sequent calculus

詞組短語(yǔ)

短語(yǔ)

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

• sequent calculus更多詞組