| 名称 | Logic for problem solving | |
| 索引号 | TP11-51/E801 | |
| 分类号 | TP11-51 TP11(自动化系统理论) TP1(自动化-基础理论) TP(自动化技术计算技术技术) T(工业技术) |
|
| 作者 | Kowalski、 Robert.、 | |
| 出版社 | New York : Elsevier North Holland, 1979. | |
| ISBN | ||
| 页数 | 287 p. : ill. ; 24 cm. | |
| 价格 | ||
| 标签 | ||
| 简介 | ||
| 注解 | Includes index. 附註 Bibliography: p. 247-260. | |










粤公网安备 44030602003680号