FEEDBACK Smiley face
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.

052154310X 9780521670890

2004045921


Computer logic.
Logic programming.

QA76.9.L63 / H88 2004

005.101 / HUT-L

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in