一阶谓词演算

中

拼音： yī jiē wèi cí yǎn suàn
日本語訳１階述語計算

拼音： yī jiē wèi cí yǎn suàn
英語訳 first-order predicate calculus

索引トップ用語の索引ランキング