广义谓词演算的意思

guǎng yì wèi cí yǎn suàn

广义谓词演算

拼音guǎng yì wèi cí yǎn suàn

拼音字母guang yi wei ci yan suan

拼音首字母gywcys

百科含义

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

词语组词

相关词语