first-order predicate calculus
基本解释
[计] 一阶谓词演算
上一个单词：first-order modal logic
在线工具
first-order predicate calculus的中文意思、音标与词形变化
本地收录770002条英汉词条，查询中文解释、英文释义、音标及词形变化，支持单词前缀检索。
词条数据：ECDICT（音标以英式为主）
本地收录770002条英汉词条，查询中文解释、英文释义、音标及词形变化，支持单词前缀检索。
上一个单词：first-order modal logic
词条数据：ECDICT（音标以英式为主）