Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Qualitative Spatial Reasoning with Topological Information
Автор: Renz J.
Issues concerning computational properties are solved by exploiting a broad variety of results and methods from logic and theoretical computer science. Complete classification of computation properties for all fragments of RCC8 is included.