Research Data Leeds Repository

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Dataset
Number of items: 1.

Dataset

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 © 2024 University of Leeds