×
联系我们
服务邮箱
15195844397@163.com
客服电话
15851303988
专属客服
| 序号 | 标题 | 类型 | 作者 |
|---|
| 序号 | 姓名 | 职称 | 单位 |
|---|---|---|---|
| 1 | 秦克云 | 教授 | 西南交通大学 |
| 2 | 李天瑞 | 教授 | 西南交通大学 |
| 3 | 马骏 | 副教授 | 西南交通大学 |
| 4 | 夏世芬 | 副教授 | 西南交通大学 |
| 5 | 潘小东 | 西南交通大学 | |
| 6 | 李晓冰 | 讲师 | 东北财经大学 |
| 7 | 杨丽 | 西南交通大学 | |
| 8 | 常之艳 | 讲师 | 天津理工大学 |
| 9 | 赖家俊 | 浙江理工大学 | |
| 10 | 秦克云 | 教授 | 西南交通大学 |
| 11 | 李天瑞 | 教授 | 西南交通大学 |
| 12 | 马骏 | 副教授 | 西南交通大学 |
| 13 | 夏世芬 | 副教授 | 西南交通大学 |
| 14 | 潘小东 | 西南交通大学 | |
| 15 | 李晓冰 | 讲师 | 东北财经大学 |
| 16 | 杨丽 | 西南交通大学 | |
| 17 | 常之艳 | 讲师 | 天津理工大学 |
| 18 | 赖家俊 | 浙江理工大学 |
以下是从项目中提取的相关关键词，点击选题分析按钮快速进行关键词选题分析
| 序号 | 关键词 | 操作 |
|---|---|---|
| 1 | 语言真值格蕴涵代数 | |
| 2 | α－广义语义归结自动推理 | |
| 3 | α－广义线性归结自动推理 | |
| 4 | α－广义锁归结自动推理 | |
| 5 | 格值逻辑 |
