日语在线翻译

述語論理言語

[じゅつごろんりげんご] [zyutugoronrigengo]

述語論理言語

读成: じゅつごろんりげんご
中文: 谓词逻辑语言