词典 / 通用词汇

【计】 一阶谓词逻辑

first-order predicate logic

暂无补充释义。

相关词条

补充或纠正词条 →