sequent calculus

英 [sequent calculus]
美 [sequent calculus]

中文释义

[网络] 相继式演算

单词分析

单词结构：

sequent calculus

字母数：16

记忆提示

🎯 重点记忆：

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

最近查询：

advanced norm agglutinphore group azygous vein centavoes cockstule consignee or order craterlets dirt money father-lasher flow function Hypsipyle nominal orbital position normoglycaemic pervaporization rhomboatloideus step-back method stored semen take ... call three-score Wilson-Mikity

更新时间：2026-03-13 18:23:25