查单词
查 询
述語計算
【じゅつごけいさん】
述語計算
读成：
じゅつごけいさん
中文：
述词演算、谓词演算
相关/近似词汇：
谓词演算
述词演算
一阶谓词演算
狭谓词演算
谓词逻辑
述語論理
述語計算
述語計算
中文： 述词演算、谓词演算