基于归结方法的自动推理

下载此书RAR压缩包在线购买PDF电子书

刘叙华著1994 年出版499 页ISBN：7030039270

中国科学院出版基金资助出版:以归结方法为主线

电路分析方法与精品题集

下载此书RAR压缩包在线购买PDF电子书

姚仲兴，姚维编著1994 年出版530 页ISBN：7308013340

领导方法艺术精选 第2辑

下载此书RAR压缩包在线购买PDF电子书

张兴民等主编1997 年出版638 页ISBN：780139061X

高等教育评估理论与方法

下载此书RAR压缩包在线购买PDF电子书

许茂祖，张桂花编著1997 年出版296 页ISBN：7113028047

数据结构 面向对象实现方法

下载此书RAR压缩包在线购买PDF电子书

朱振元，朱承编著2000 年出版318 页ISBN：7560608787

程序设计方法学引论

下载此书RAR压缩包在线购买PDF电子书

陶葆兰，李庆华编著1989 年出版241 页ISBN：7560903207

机构设计的组合与变异方法

下载此书RAR压缩包在线购买PDF电子书

洪允楣编著1982 年出版352 页ISBN：15033·4963

管理决策分析实用方法

下载此书RAR压缩包在线购买PDF电子书

顾昌耀主编1990 年出版156 页ISBN：7800462013

现代管理教育与培训系列教材:本书介绍了较为实用的决策分析方法、其中包括决策分类

数学物理中的渐近方法

下载此书RAR压缩包在线购买PDF电子书

李家春，周显初编著1998 年出版386 页ISBN：7030061098

产品造型设计原理与方法

下载此书RAR压缩包在线购买PDF电子书

陈士俊等主编1994 年出版117 页ISBN：7561806817