Research Data Leeds Repository
![[feed]](/style/images/feed-icon-14x14.png){kind=icon}
 | Up a level |
- Joint Academic Coding System (JACS) (837)
- I000 - Computer sciences (27)
- I100 - Computer science (3)
- I000 - Computer sciences (27)
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]