高阶逻辑 higher-order logic 非古典逻辑 non-classical logic ..
基于1个网页-相关网页
higher order logic [计] 高阶逻辑 ; 较高阶逻辑
predicate logic of higher order [数] 高阶谓词逻辑
higher-order predicate logic [数] 高阶谓词逻辑
higher order predicated logic 高阶谓词逻辑
·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐
模块上移
模块下移
不移动