Research Data Leeds Repository
Items where Subject is "I000 - Computer sciences > I100 - Computer science"
Up a level |
- Joint Academic Coding System (JACS) (944)
- I000 - Computer sciences (31)
- I100 - Computer science (5)
- I000 - Computer sciences (31)
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