清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Yongming Li
最新发表
Sanjiang Li
,
Mingsheng Ying
,
Yongming Li
(2005).
On countable RCC models
.
Fundamenta Informaticae
.
引用
DOI
URL
Yongming Li
,
Sanjiang Li
,
Mingsheng Ying
(2005).
Relational reasoning in the region connection calculus
.
引用
arXiv
URL
引用
×