Omega 知识表示与推理
Omega 知识表示与推理
新闻
成员
当前成员
毕业生
科研
出版物
毕业论文
获奖
项目
专利
软著
活动
联系我们
浅色
深色
自动
中文 (简体)
English
胥松杭
研究生
贵州大学
兴趣爱好
等价性检查
模型检测
教育经历
计算机技术 硕士, 2023-2026
贵州大学
计算机科学与技术 学士, 2023
贵阳学院
最新
Strong Forgetting in Hennessy-Milner Logic
引用
×