many sorted predicate calculus

基本释义

多种类谓词演算
many sorted predicate calculus单词图解，单词释义场景配图
0 次浏览