An axiom system for a spatial logic with convexity (2012)
Attributed to:
Computational Logic of Euclidean Spaces
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Thesis