零食美味英文词典

calculus of sequent

C 开头单词

基本解释

  • [数学]相继式演算

专业释义

    数学

  • 相继式演算