On the Computability of Region−Based Euclidean Logics

Схожие документы

• Topological Logics with Connectedness over Euclidean Spaces
  по: Kontchakov, R, и др.
  Опубликовано: (2013)
• On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
  по: Kontchakov, R, и др.
  Опубликовано: (2011)
• Computing in Euclidean geometry /
  по: Du, Ding-Zhu, и др.
  Опубликовано: (1992)
• Optimizing Euclidean Distance Computation
  по: Rustam Mussabayev
  Опубликовано: (2024-11-01)
• Computing datalog rewritings for disjunctive datalog programs and description logic ontologies
  по: Kaminski, M, и др.
  Опубликовано: (2014)