谓词演算

中

拼音： wèi cí yǎn suàn
日本語訳述語計算、述語演算、述語計算法

拼音： wèi cí yǎn suàn
英語訳 predicative calculus、predicate calculus

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