MARC状态:审校 文献类型:中文图书 浏览次数:91
- 题名/责任者:
- 吴允曾选集:数理逻辑与计算机科学/吴允曾著 康奉主编
- 出版发行项:
- 北京:北京科学技术出版社,1991
- ISBN及定价:
- 7-5304-0468-7 精装/CNY8.20
- 载体形态项:
- 321页:图;20cm
- 个人责任者:
- 吴允曾, 1918-1987 著
- 个人次要责任者:
- 康奉 主编
- 个人名称主题:
- 吴允曾,-文集
- 学科主题:
- 数理逻辑-文集
- 学科主题:
- 电子计算机-文集
- 中图法分类号:
- TP3-05
- 中图法分类号:
- TP3-53
- 责任者附注:
- 吴允曾(1918~1987),数理逻辑学家、计算机科学家
- 提要文摘附注:
- 本书内容一、关于逻辑;二、关于计算机科学;三、关于数理逻辑与计算机科学的相互关系;四、其它。
全部MARC细节信息>>