many-sorted predicate calculus

基本释义

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