狭谓词演算

狭谓词演算

拼音： xiá wèi cí yǎn suàn
日本語訳 制限された述語計算