MARC状态:已编 文献类型:西文图书 浏览次数:27
- 题名/责任者:
- Symbolic logic and mechanical theorem proving / Chin-liang Chang [and] Richard Char-Tung Lee.
- 出版发行项:
- New York : Academic Press, 1973.
- 载体形态项:
- xiii, 331 p. : ill. ; 24 cm.
- 个人责任者:
- Chang, Chin-Liang, 1937-
- 附加个人名称:
- Lee, Richard Char-Tung, 1939-
- 论题主题:
- Artificial intelligence
- 中图法分类号:
- O141
- 书目附注:
- Bibliography: p. 309-324.
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
O141/E1 | 700006659 | 西文密集 | 可借 | 西文密集 | |
O141/E1 | 700006660 | 西文密集 | 可借 | 西文密集 | |
O141/E1 | 700006661 | 西文密集 | 可借 | 西文密集 |
显示全部馆藏信息