Research Data Leeds Repository

Items where Subject is "I000 - Computer sciences > I100 - Computer science"

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

• Joint Academic Coding System (JACS)⁹ (984)
  • I000 - Computer sciences¹⁰ (32)
    • I100 - Computer science (6)
      • I110 - Computer architectures & operating systems¹¹ (2)
      • I140 - Human-computer interaction¹² (2)
      • I150 - Multimedia computing science¹³ (1)

Group by: Creators | Item Type¹⁴

Jump to: S

Number of items at this level: 1.

S

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/subjects/I100/Atom/I100.xml
• 4. https://archive.researchdata.leeds.ac.uk/cgi/exportview/subjects/I100/Atom/I100.xml
• 5. https://archive.researchdata.leeds.ac.uk/cgi/exportview/subjects/I100/RSS/I100.rss
• 6. https://archive.researchdata.leeds.ac.uk/cgi/exportview/subjects/I100/RSS/I100.rss
• 7. https://archive.researchdata.leeds.ac.uk/cgi/exportview/subjects/I100/RSS2/I100.xml
• 8. https://archive.researchdata.leeds.ac.uk/cgi/exportview/subjects/I100/RSS2/I100.xml
• 9. subjects.html
• 10. I000.html
• 11. I110.html
• 12. I140.html
• 13. I150.html
• 14. I100.type.html
• 15. https://archive.researchdata.leeds.ac.uk/450/
• 16. https://doi.org/10.5518/427