sequent calculus
English
Noun
sequent calculus (plural sequent calculi)
- (mathematics, logic) A set of inference rules for deriving true sequents from other true sequents.
单词 | sequent calculus |
释义 | sequent calculus |
随便看 |
|
国际大辞典收录了7408809条英语、德语、日语等多语种在线翻译词条,基本涵盖了全部常用单词及词组的翻译及用法,是外语学习的有利工具。