000			02891nam a22003855i 4500
001			282318
003			MX-SnUAN
005			20160429154144.0
007			cr nn 008mamaa
008			150903s2007 ne | o |||| 0|eng d
020			_a9781402055874 _99781402055874
024	7		_a10.1007/9781402055874 _2doi
035			_avtls000335250
039		9	_a201509030236 _bVLOAD _c201404300258 _dVLOAD _y201402041255 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aB67
100	1		_aAiello, Marco. _eeditor. _9308870
245	1	0	_aHandbook of Spatial Logics / _cedited by Marco Aiello, Ian Pratt-Hartmann, Johan Benthem.
264		1	_aDordrecht : _bSpringer Netherlands, _c2007.
300			_brecurso en línea.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
500			_aSpringer eBooks
505	0		_aWhat is Spatial Logic? -- First-Order Mereotopology -- Axioms, Algebras and Topology -- Qualitative Spatial Reasoning Using Constraint Calculi -- Modal Logics of Space -- Topology and Epistemic Logic -- Logical Theories for Fragments of Elementary Geometry -- Locales and Toposes as Spaces -- Spatial Logic + Temporal Logic = ? -- Dynamic Topological Logic -- Logic of Space-Time and Relativity Theory -- Discrete Spatial Models -- Real Algebraic Geometry and Constraint Databases -- Mathematical Morphology -- Spatial Reasoning and Ontology: Parts, Wholes, and Locations.
520			_aA spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database Theory, Physics, and Philosophy. The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aPratt-Hartmann, Ian. _eeditor. _9308871
700	1		_aBenthem, Johan. _eeditor. _9308846
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9781402055867
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-1-4020-5587-4 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c282318 _d282318