sequent calculus

英 [sequent calculus]
美 [sequent calculus]

中文释义

[网络] 相继式演算

单词分析

单词结构：

sequent calculus

字母数：16

记忆提示

🎯 重点记忆：

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

最近查询：

acuminates Alectoris dual tube EKY forroot heat-apoplexy house-officer indulin black left-eyes meal-time naloxone-like-factor North Pacific Current pathology of internal medicine Pol-e Rostam sampling and analyzing unit sarcase springless valve St Elmo stunk wirewound resistance

更新时间：2025-12-09 13:07:33