Research Data Leeds Repository
![[feed]](/style/images/feed-icon-14x14.png){kind=icon}
Items where Author is "Sano, Katsuhiko"
 | Up a level |
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). University of Leeds. [Dataset] https://doi.org/10.5518/427