sequent calculus

短语

词形变化

sequent calculi 复数 sequent calculi

释义与例句

n.
  1. 1.

    A set of inference rules for deriving true sequents from other true sequents.

    数学 哲学