会员服务
麦肯锡公司为一家全球型管理顾问公司，营运重点是提供公私部门的高阶管理层级人士正确的解决方案（Business Solutions）。
Topological semantics for paraconsistent and paracomplete logics in Isabelle/HOL
Arxiv
0+阅读 · 2021年4月9日
参考链接
微信扫码咨询专知VIP会员
Top