Research Data Leeds Repository
Items where Author is "Sindoni, Giulia"
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). University of Leeds. [Dataset] https://doi.org/10.5518/427