述語計算

日 [じゅつごけいさん] [zyutugokeisan]

述語計算

读成：じゅつごけいさん
中文：述词演算、谓词演算

相关/近似词汇：

谓词演算述词演算一阶谓词演算狭谓词演算谓词逻辑述語論理