日语在线翻译
查 词
狭谓词演算
中
狭谓词演算
拼音：
xiá wèi cí yǎn suàn
日本語訳
制限された述語計算