述語論理言語

【じゅつごろんりげんご】

述語論理言語

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