calculus of sequent

英 [calculus of sequent]
美 [calculus of sequent]

中文释义

[数] 相继式演算

单词分析

单词结构：

calculus of sequent

字母数：19

记忆提示

🎯 重点记忆：

  • 单词拼写：calculus of sequent
  • 核心含义：[数] 相继式演算

最近查询：

aerosol artist anodized finish artificial memory asplenium polyodon assembly list bestain commemorator cyberartists double-slider mecha-nism gryphite haftara little school plan lwoffii Nbfm on the cushions pagenate pooching Sagsay Gol synaphobranchid wanderingpain

更新时间：2026-01-29 20:16:28