| 名称 | Theory of computation | |
| 索引号 | O141.3/E901 | |
| 分类号 | O141.3 O141.3(递归论(递归函数,能行性理论)) O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学) |
|
| 作者 | Wood、 Derick、 1940-、 | |
| 出版社 | New York : Harper & Row, c1987. | |
| ISBN | ||
| 页数 | xviii, 558 p. : ill. ; 24 cm. | |
| 价格 | ||
| 标签 | ||
| 简介 | ||
| 注解 | Includes index. 附註 Bibliography: p. 531-546. | |










粤公网安备 44030602003680号