MARC状态:已编 文献类型:西文图书 浏览次数:71
- 题名/责任者:
- Logic for problem solving / Robert Kowalski.
- 出版发行项:
- New York : Elsevier North Holland, c1979.
- ISBN:
- 0444003657
- 载体形态项:
- 287 p. : ill. ; 24 cm.
- 个人责任者:
- Kowalski, Robert.
- 论题主题:
- Problem solving.
- 论题主题:
- Electronic digital computers-Programming.
- 中图法分类号:
- O391.1
- 书目附注:
- Includes bibliographical references and index.
全部MARC细节信息>>