词典 / 科技

可计算函数逻辑

logic for computable function【计】

暂无补充释义。

相关词条

一阶谓词逻辑

first order predicate logic【数】;predicate logic of first order【数】

补充或纠正词条 →