MARC状态：审校 文献类型：西文图书 浏览次数：18
- 题名/责任者:
- Logic for applications / Anil Nerode, Richard A. Shore.
- 出版发行项:
- New York : Springer-Verlag, c1993.
- ISBN:
- 0387941290 :
- ISBN:
- 3540941290
- 载体形态项:
- xvii, 365 p. : ill. ; 24 cm.
- 个人责任者:
- Nerode, Anil, 1932-
- 附加个人名称:
- Shore, Richard A., 1946-
- 论题主题:
- Logic programming.
- 中图法分类号:
- TP311
- 书目附注:
- Includes bibliographical references (p. 329-354) and indexes.
全部MARC细节信息>>