相关推荐 更多>
-
- 數學與逼真推理·上冊：數學上歸納法與類推之應用
- 作者：田成俠（譯）；潘壽山
- 馆藏单位：浙江大学
- 资源类型：当代图书
-
- 专家系统中的不确定推理：模型、方法和理论
- 作者：罗旭东著
- 馆藏单位：浙江大学
- 出版时间：1995-06
- 资源类型：当代图书
-
- 递归程序验证系统中归纳法子目标的自动生成
- 作者：陈冬凡
- 馆藏单位：武汉大学
- 出版时间：1984-12-19
- 资源类型：当代学位论文