中国农业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Logic in computer science : modelling and reasoning about systems = 面向计算机科学的数理逻辑 : 系统建模与推理 / Michael Huth, Mark Ryan.

版本说明:

2nd ed.

出版发行项:

Beijing : China Machine Press, 2005.

ISBN:

7111160533 (pb.) :

载体形态项:

xvi, 427 p. : ill. ; 24 cm.

变异题名:

面向计算机科学的数理逻辑 : 系统建模与推理

个人责任者:

Huth, Michael, 1962-

附加个人名称:

Ryan, Mark, 1962-

论题主题:

Computer logic.

论题主题:

Logic programming (Computer science)

中图法分类号:

TP302

书目附注:

Includes bibliographical references (p.414-417) and index.

原版附注:

Reprint. Originally published: New York : Cambridge University Press, c2004. 052154310X.

豆瓣简介：

随书光盘: