many-sorted logic

英 [many-sorted logic]
美 [many-sorted logic]

中文释义

多类逻辑

单词分析

单词结构：

many-sorted logic

字母数：17

记忆提示

🎯 重点记忆：

  • 单词拼写：many-sorted logic
  • 核心含义：多类逻辑

最近查询：

bilateral diode Clavicepitaceae consent-based cost of shifting electron oscillograph feel a draft full-dome Lisala novel technology particle accelerator proportional plus integral plus derivative element soluble protein in salt solution stables training air combat Tree Sir Herbert Beerbohm (Herbert Beerbohm) Tësovo-Netyl'skiy ufco waive a claim witherell zhelev

更新时间：2026-03-18 16:29:00