Research Data Leeds Repository
Up a level |
Group by: Item Type | No Grouping
Number of items: 1.
Sindoni, Giulia and Sano, Katsuhiko and Stell, John G. (2018) Axiomatizing Discrete Spatial Relations (extended version with omitted proofs and automated theorem prover). [Dataset]