词典 / 通用词汇

【计】存在量词化变元

existentially quantified variable

暂无补充释义。

相关词条

存在量词化公式

existentially quantified formula【数】

补充或纠正词条 →