|
已选(0)清除
条数/页： 排序方式： |
| 线性均方一致性问题的偏差估计 期刊论文
自动化学报, 2017, 卷号: 43, 期号: 4, 页码: 568
作者: 窦全胜; 刘柏枫; 厉玉蓉; 史忠植
  收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
集群智能 多智能体系统 一致性协议 均方一致 |
| 基于布尔语义的Gentzen推导模型 期刊论文
计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221
作者: 陈博; 眭跃飞
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
布尔代数 命题逻辑 不等式 完备性 |
| 无权访问的条目 期刊论文
作者: 李志欣; 施智平; 李志清; 史忠植
Adobe PDF(1120Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/11/22 |
| 无权访问的条目 期刊论文
作者: 丁世飞; 史忠植; 靳奉祥; 夏士雄
Adobe PDF(323Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/13 |
| 基于广义信息距离的直接聚类算法 期刊论文
计算机研究与发展, 2007, 卷号: 44.0, 期号: 004, 页码: 674
作者: 丁世飞; 史忠植; 靳奉祥; 夏士雄
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
离散量 离散增量 广义信息距离 直接聚类 |
| 无权访问的条目 期刊论文
作者: 谷春江; 徐朝农; 张浩; 徐勇军; 李晓维
Adobe PDF(538Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/11/22 |
| 无权访问的条目 期刊论文
作者: 邵明; 李光辉; 李晓维
Adobe PDF(303Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/11/01 |
| 无权访问的条目 期刊论文
作者: 刘 波; 王贞松; 姚 萍; 李明峰
Adobe PDF(415Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/15 |
| 无权访问的条目 期刊论文
作者: 张兆庆; 乔如良
Adobe PDF(255Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/03/30 |
| 一类构造性几何不等式的机器证明 期刊论文
计算机学报, 2003, 卷号: 26.0, 期号: 007, 页码: 769
作者: 杨路; 夏时洪
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
构造性几何不等式 机器证明 自动证明 半代数系统 |
