Research Data Leeds Repository

Items where Author is "Sano, Katsuhiko"

1	Up a level2

Export as ASCII CitationBibTeXDublin CoreEndNoteHTML CitationMETSObject IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	3 Atom4 5 RSS 1.06 7 RSS 2.08

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¹¹

• 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