sequent calculus的意思|示意
美 / /
英 / /
sequent calculus相关短语
1、 linear sequent calculus 线性矢列演算
2、 calculus of sequent 相继式演算