many-sorted logic

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

中文释义

多类逻辑

单词分析

单词结构：

many-sorted logic

字母数：17

记忆提示

🎯 重点记忆：

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

最近查询：

allocate event annfield Carlisle B. congenital pericardial defect de naauwte dihydrothebaine elevation synchro drive erase list fatigue limit endurance strength interchangeable ground long-tube evaporator methylsulfidine nephrotome plate outwarding Peromedusae Roatelo rubellites satirizers telocopolymerization vigintillions

更新时间：2025-12-08 19:30:23