...
机译:欧氏空间中具有RCC8和连通性约束的空间推理
Department of Computer Science and Information Systems, Birkbeck, University of London, UK;
School of Computer Science, University of Manchester, UK,Institute of Mathematics and Computer Science, University of Opole, Poland;
Department of Computer Science and Information Systems, Birkbeck, University of London, UK;
Qualitative spatial reasoning; Spatial logic; Euclidean space; Connectedness; Satisfiability; Complexity;
机译:欧氏空间上具有连通性的拓扑逻辑
机译:欧几里德空间的连通和的最小体积
机译:任意维拟欧几里德空间中具有平行平均曲率向量的空间表面分类
机译:在定性概念空间中的性能与RCC8约束的推理
机译:拉丁裔/高中占主导地位的关联数学学习与性别平等:空间推理案例。
机译:本地的EUCLIDEAN空间是II的本地EUCLIDEAN
机译:欧氏空间中具有RCC8和连通性约束的空间推理
机译:欧氏空间约束的一致性检验:维数图法。