机译:基于球的传递关系部分满足多重收缩的系统的构建:不可能结果
机译:关于部分满足,内核和次收缩之间的联系及其在Horn逻辑中的应用
机译:关于部分相遇,内核和次收缩之间的联系及其在Horn逻辑中的应用
机译:过渡关系部分符合喇叭收缩
机译:结构描述中的传递性,反对称关系属性与在雷达目标识别中的应用匹配
机译:雄性小鼠中Neuroligin-3的突变会影响行为灵活性但在视觉传递推理的触摸屏测试中不会影响关系记忆
机译:基于相关准则的部分会合收缩
机译:结构描述匹配中的传递,反对称关系属性及其在雷达目标识别中的应用