calculus of sequent

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

中文释义

[数] 相继式演算

单词分析

单词结构：

calculus of sequent

字母数：19

记忆提示

🎯 重点记忆：

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

最近查询：

de Wecker's scissors fault diagnostic program fleeciest glass panel graptomyza arisana hedoes homewatches known address rough ammonia tankage scunnas

更新时间：2025-02-17 11:28:34