Normal view MARC view ISBD view

Huth, Michael

Logic in computer science : modelling and reasoning about systems Michael Huth, Mark Ryan. - 2nd ed. - New Delhi : Cambridge University Press, ©2004. - xiv, 427 p. : ill. ; 25 cm.

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

ISBN: 052154310X 9780521670890

LCCN: 2004045921

Subjects--Topical Terms:
Computer logic.
Logic programming.

LC Class. No.: QA76.9.L63 / H88 2004

Dewey Class. No.: 005.101 / HUT-L