...
机译:直觉数学中的可判定性和Specker序列
Decidability; intuitionistic mathematics; Specker sequences;
机译:直觉数学中的可判定性和Specker序列
机译:区间直觉模糊真度的混合多准则群决策的区间直觉模糊数学规划方法
机译:再看斑点序列
机译:直觉逻辑的前置部分的可判定性问题
机译:具有可预测的绑定预测的正式直觉集合论。
机译:一种针对转录因子结合位点基序对DNA序列评分的直观方法
机译:直觉类型理论的可判定性在功能上是可判定的