１階述語計算

[かいじゅつごけいさん] [kaizyutugokeisan]

１階述語計算

読み方 いっかいじゅつごけいさん
中国語訳 一阶谓词演算