many-sorted logic

維基詞典，自由的多語言詞典
  • 简体: 多类逻辑[信息科技]
  • 正體: 多類邏輯[計算機]
  • 正體: 多類邏輯[電子計算機]
来自“https://zh.wiktionary.org/w/index.php?title=many-sorted_logic&oldid=5518210”