查单词
查 询
一阶谓词演算
一阶谓词演算
拼音：
yī jiē wèi cí yǎn suàn
日本語訳
１階述語計算
一阶谓词演算
拼音：
yī jiē wèi cí yǎn suàn
英語訳
first-order predicate calculus
索引トップ
用語の索引
ランキング
相关/近似词汇：
first-order
１階述語計算
一阶谓词演算
一阶谓词演算
日本語訳 １階述語計算
一阶谓词演算
英語訳 first-order predicate calculus