On the Computability of Region−Based Euclidean Logics

相似書籍

• Topological Logics with Connectedness over Euclidean Spaces
  由: Kontchakov, R, et al.
  出版: (2013)
• On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
  由: Kontchakov, R, et al.
  出版: (2011)
• Computing in Euclidean geometry /
  由: Du, Ding-Zhu, et al.
  出版: (1992)
• Optimizing Euclidean Distance Computation
  由: Rustam Mussabayev
  出版: (2024-11-01)
• Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
  由: Kaminski, M, et al.
  出版: (2014)