-
RecordNumber
35493
-
Author
Huth, Michael, 1962-
-
Title
Logic in computer science : modelling and reasoning about systems
-
Author Statement
Michael Huth, Mark Ryan
-
Edition
2nd ed.
-
Publication
Cambridge University Press
-
Publication Year
2004
-
Collation
xiv, 427 p. : ill.
-
Notes
052154310X , Includes bibliographical references (p. 414-417)
-
Subject
Computer logic , Logic programming (Computer science)
-
ADDED ENTRIES
پ Ryan, Mark, 1962- , ع
-
LC Class
QA
-
LC Number
76.9
-
LC CutterNumber
L63H88
-
LC Date
2004
-
وارد کنندة اطلاعات
zadehmohammadi
-
Link To Document :
