Research Data Leeds Repository

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: S
Number of items at this level: 1.

S

Sindoni, Giulia and Sano, Katsuhiko and Stell, John G. (2018) Axiomatizing Discrete Spatial Relations (extended version with omitted proofs and automated theorem prover). [Dataset]

Research Data Leeds Repository is powered by EPrints
Copyright © 2021 University of Leeds