中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

版本说明:

2nd ed.

出版发行项:

北京 : 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. 2nd ed.

豆瓣简介：