many-sorted logic

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

中文释义

多类逻辑

单词分析

单词结构：

many-sorted logic

字母数：17

记忆提示

🎯 重点记忆：

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

最近查询：

axetil belaire bernhard riemanns business plans containerized goods current transfer characteristics double-dealers flare stack burner get a wicket herbivirous looked-after neutral complex extraction polyuranate predeveloped put a sock in it! reasonate silicon photodiode vacuum ultraviolet detector stencilization Stirling's interpolation formula transverse resistivity

更新时间：2026-01-30 09:53:13