找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 广义谓词演算
广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。 — 拼音 guǎng yì wèi cí yǎn suàn，更新 2026-07-12 19:19:41
| 拼音 | guǎng yì wèi cí yǎn suàn |
|---|---|
| 拼音字母 | guang yi wei ci yan suan |
| 首字母 | gywcys |
| 注音 | ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ |
| 注音符号 | ㄍㄨㄤ ㄧ ㄨㄟ ㄘ ㄧㄢ ㄙㄨㄢ |