second-order logic [计] 二阶逻辑
monadic second order logic monadic二阶逻辑
restricted second-order logic 约束型二阶逻辑
second-order predicate logic [数] 二阶谓词逻辑
monadic second-order Lukasiewicz logic 单体二阶Lukasiewicz逻辑
Second-order dynamic fuzzy logic 二阶动态模糊逻辑
应用推荐