Handbook of Spatial Logics [electronic resource] /
edited by Marco Aiello, Ian Pratt-Hartmann, Johan Benthem.
- Dordrecht : Springer, 2007.
- v.: digital
9781402055874
Philosophy (General) Science--Philosophy Computer science Artificial intelligence Geometry Logic, Symbolic and mathematical Topology Philosophy Philosophy of Science Mathematical Logic and Foundations Geometry Mathematical Logic and Formal Languages Topology Artificial Intelligence (incl. Robotics)