quantifier-free conjunctive-normal form

基本释义

[计] 自由量词合取范式
quantifier-free conjunctive-normal form单词图解,单词释义场景配图
0 次浏览