Publication:4952315
From MaRDI portal
zbMath0953.68129MaRDI QIDQ4952315
Publication date: 9 May 2000
68T30: Knowledge representation
Related Items
Subdivision schemes of sets and the approximation of set-valued functions in the symmetric difference metric, A unifying semantics for time and events, Mereotopological connection, Elementary polyhedral mereotopology, Region-based theory of discrete spaces: A proximity approach, Dynamic logics of the region-based theory of discrete spaces