Research Data Leeds Repository
Items where Author is "Sano, Katsuhiko"
![]() | Up a level2 |
Group by: Item Type | No Grouping9
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).10 University of Leeds. [Dataset] https://doi.org/10.5518/42711
- 1. ./
- 2. ./
- 3. https://archive.researchdata.leeds.ac.uk/cgi/exportview/creators/Sano=3AKatsuhiko=3A=3A/Atom/Sano=3AKatsuhiko=3A=3A.xml
- 4. https://archive.researchdata.leeds.ac.uk/cgi/exportview/creators/Sano=3AKatsuhiko=3A=3A/Atom/Sano=3AKatsuhiko=3A=3A.xml
- 5. https://archive.researchdata.leeds.ac.uk/cgi/exportview/creators/Sano=3AKatsuhiko=3A=3A/RSS/Sano=3AKatsuhiko=3A=3A.rss
- 6. https://archive.researchdata.leeds.ac.uk/cgi/exportview/creators/Sano=3AKatsuhiko=3A=3A/RSS/Sano=3AKatsuhiko=3A=3A.rss
- 7. https://archive.researchdata.leeds.ac.uk/cgi/exportview/creators/Sano=3AKatsuhiko=3A=3A/RSS2/Sano=3AKatsuhiko=3A=3A.xml
- 8. https://archive.researchdata.leeds.ac.uk/cgi/exportview/creators/Sano=3AKatsuhiko=3A=3A/RSS2/Sano=3AKatsuhiko=3A=3A.xml
- 9. Sano=3AKatsuhiko=3A=3A.default.html
- 10. https://archive.researchdata.leeds.ac.uk/450/
- 11. https://doi.org/10.5518/427