清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
A logic for approximate reasoning
Mingsheng Ying
一月 1994
引用
DOI
类型
期刊文章
出版物
Journal of Symbolic Logic
应明生
教授
引用
×