|
已选(0)清除
条数/页： 排序方式：
|
| 基于建模与推理的命题逻辑教学方法研究 期刊论文
Computer Education, 2019, 期号: 09
作者: 袁梦霆; 李清安; 吴黎兵; 何炎祥
  收藏 | 浏览/下载：2/0 | 提交时间：2019/12/05
|
| 一种基于命题逻辑的规范拆解方法 专利
申请日期: 2018-01-01, 公开日期: 2018-08-24
作者: 黑新宏; 杨明松; 赵钦; 朱磊; 谢国
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/20 |
| 诗人的“诗学传统”文学命题逻辑论证研究——以加里·斯奈德作品中的“寒山-禅-生态”诗学传统为例 学术活动
.诗人的“诗学传统”文学命题逻辑论证研究——以加里·斯奈德作品中的“寒山-禅-生态”诗学传统为例
-
收藏 | 浏览/下载：4/0 | 提交时间：2019/10/31 |
| 直觉模糊逻辑的（α，β）-线性归结方法研究 学位论文
: 辽宁师范大学, 2017
作者: 李晓楠
收藏 | 浏览/下载：3/0 | 提交时间：2019/03/01
|
| 一种地理信息检索的定性模型 期刊论文
北京大学学报 自然科学版, 2016
高勇; 姜丹; 刘磊; 林星; 邬伦
收藏 | 浏览/下载：3/0 | 提交时间：2017/12/03
|
| 案例教学法在命题逻辑推理论证中的应用 期刊论文
计算机教育, 2016, 页码: 124-126
作者: 刘丽艳
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/09
|
| 二值命题逻辑中公式列的收敛性 期刊论文
兰州理工大学学报, 2016, 期号: 2016年04期, 页码: 148-151
作者: 李骏; 蒙頔
收藏 | 浏览/下载：16/0 | 提交时间：2019/11/13
|
| R_0代数中的极大缩减 期刊论文
兰州理工大学学报, 2015, 期号: 2015年04期, 页码: 151-154
作者: 李骏; 何乃娟
收藏 | 浏览/下载：20/0 | 提交时间：2019/11/13
|
| 基于直觉模糊命题逻辑的（α，β）——广义锁归结方法 学位论文
: 辽宁师范大学, 2015
作者: 刘迪
收藏 | 浏览/下载：2/0 | 提交时间：2019/03/01
|
| 《庄子·秋水》中庄子与惠施鱼之乐辩论形式化研究 期刊论文
牡丹, 2015, 期号: 11X, 页码: 181-183
作者: 胡亚非
收藏 | 浏览/下载：27/0 | 提交时间：2019/12/24
|
