Computability of Euclidean spatial logics (2011)
Attributed to:
Computational Logic of Euclidean Spaces
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www.cs.man.ac.uk/~ipratt/theses/nenov.pdf
Type: Thesis