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. Softcover.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.