MARC状态：已编 文献类型：西文图书 浏览次数：68
- 题名/责任者:
- Induction, recursion, and programming / Mitchell Wand.
- 出版发行项:
- New York : North Holland, c1980.
- ISBN:
- 0444003223
- 载体形态项:
- xii, 202 p. ; 24 cm.
- 个人责任者:
- Wand, Mitchell.
- 论题主题:
- Electronic digital computers-Programming.
- 论题主题:
- Induction (Mathematics)
- 论题主题:
- Recursion theory.
- 中图法分类号:
- TP31
- 一般附注:
- Includes index.
- 书目附注:
- Bibliography: p. [190]-194.
全部MARC细节信息>>
12楼南外文图书阅览室