Axiomatizing Discrete Spatial Relations (extended version with omitted proofs and automated theorem prover)
收藏DataCite Commons2025-01-28 更新2025-04-17 收录
下载链接：
https://archive.researchdata.leeds.ac.uk/450/
下载链接
链接失效反馈官方服务：
资源简介：
An automated theorem prover for a class of logics. A set of axioms and propositions valid in the logic.
提供机构：
University of Leeds
创建时间：
2018-11-12
