灵犀词语网 - 汉语词典
广义谓词演算
guǎng yì wèi cí yǎn suàn
ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ

📖 词语释义

更多解释

广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。

✂️ 拆字组词

🔗 相关词语

🐾 热门组词

友情链接