An axiom system for a spatial logic with convexity (2012)

First Author: Trybus Adam
Attributed to:  Computational Logic of Euclidean Spaces funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Thesis