Handbook of spatial logics
The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic.
Saved in:
Other Authors: | Aiello, Marco., Pratt-Hartmann, Ian., Benthem, Johan van, 1949-, SpringerLink (Online service) |
---|---|
Format: | eBook |
Language: | English |
Published: |
Dordrecht :
Springer,
©2007.
Dordrecht : [2007] |
Physical Description: |
1 online resource (xxi, 1058 pages) : illustrations. |
Subjects: |
In Prospector
Similar Items
-
Logics for Computer Science : Classical and Non-Classical
by: Wasilewska, Anita,
Published: (2018) -
Logics in artificial intelligence : 10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 : proceedings
Published: (2006) -
Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings
Published: (2006) -
Logics in artificial intelligence : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
Published: (2012) -
Artificial intelligence and symbolic computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings
Published: (2018)