MARC状态:审校 文献类型:西文图书 浏览次数:10
- 题名/责任者:
- Logic for problem solving / Robert Kowalski.
- 出版发行项:
- New York : Elsevier North Holland, c1979.
- ISBN:
- 0444003657
- 载体形态项:
- 287 p. : ill. ; 23 cm.
- 丛编说明:
- Artificial intelligence series ; 7
- 个人责任者:
- Kowalski, Robert.
- 论题主题:
- Problem solving.
- 论题主题:
- Electronic digital computers-Programming.
- 中图法分类号:
- O221
- 书目附注:
- Includes bibliographical references (p. 247-260) and index.
全部MARC细节信息>>