TY - DATA AU - Aiello,Marco AU - Pratt-Hartmann,Ian AU - Benthem,Johan ED - SpringerLink (Online service) TI - Handbook of Spatial Logics SN - 9781402055874 AV - QA9 A34 2007 PY - 2007/// CY - Dordrecht PB - Springer KW - Philosophy (General) KW - Science KW - Philosophy KW - Computer science KW - Artificial intelligence KW - Geometry KW - Logic, Symbolic and mathematical KW - Topology KW - Philosophy of Science KW - Mathematical Logic and Foundations KW - Mathematical Logic and Formal Languages KW - Artificial Intelligence (incl. Robotics) UR - http://dx.doi.org/10.1007/978-1-4020-5587-4 ER -