sequent calculus

短语词组

短語

• linear sequent calculus 線性矢列縯算
• calculus of sequent [數]相繼式縯算
返回 sequent calculus