Research Data Leeds Repository
Up a level |
- Joint Academic Coding System (JACS) (905)
- I000 - Computer sciences (29)
- I100 - Computer science (3)
- I000 - Computer sciences (29)
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). [Dataset]