Research Data Leeds Repository

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

Joint Academic Coding System (JACS) (940)
- I000 - Computer sciences (31)
  - I100 - Computer science (5)
    - I110 - Computer architectures & operating systems (1)
    - 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

Research Data Leeds Repository is powered by EPrints
Copyright © University of Leeds