Omega 知识表示与推理
Omega 知识表示与推理
新闻
成员
当前成员
毕业生
科研
出版物
毕业论文
获奖
项目
专利
软著
活动
联系我们
成员登录
浅色
深色
自动
中文 (简体)
English
周欣
博士生
贵州大学
路漫漫其修远兮,吾将上下而求索。
兴趣爱好
知识表示与推理
教育经历
软件工程 博士, 2020-至今
贵州大学
计算机科学 硕士, 2005-2013
德国特里尔大学
自动化 学士, 1999-2003
四川大学
最新
Strong Forgetting in Hennessy-Milner Logic
引用
×