MARC状态：已编 文献类型：中文图书 浏览次数：39
- 题名/责任者:
- 符号逻辑和定理的机中证明.第三分册/C.L.Chang等著 李荣译
- 出版发行项:
- 西安:陕西省人工智能学会筹备组,1982
- ISBN及定价:
- /CNY0.00
- 载体形态项:
- 216页;21cm
- 个人责任者:
- Chang C. L、4著
- 个人次要责任者:
- 李荣 译
- 学科主题:
- 数理逻辑
- 中图法分类号:
- O141
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| O141/27-3 | CN1743471 |  资料室
|
可借 | |
| O141/27-3 | CN1743472 | 资料室
|
可借 |
显示全部馆藏信息