Interpreting Topological Logics over Euclidean Spaces (2010)

First Author: Kontchakov R

Attributed to: Computational Logic of Euclidean Spaces funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1321

Type: Conference/Paper/Proceeding/Abstract