many-sorted logic

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

中文释义

多类逻辑

单词分析

单词结构：

many-sorted logic

字母数：17

记忆提示

🎯 重点记忆：

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

最近查询：

bellcranks Bredia microphylla brush contact loss buttering can packer carlesii dynamical stochasticity figopitant holocyclus ixodes Hypoderaerum limbic brain metastrongyloses phase-shift distortion meter pleurspophysis pulse transmission reactive-factor meter reptile family selective perforation tank model Warrant Coverage

更新时间：2026-01-29 22:59:06