-
RecordNumber
96124
-
Author
Huth, Michael
-
Birth-Death
1962-
-
Title
Logic in computer science : modelling and reasoning about systems
-
Author Statement
Michael Huth , Mark Ryan
-
Publication
Cambridge : Cambridge University
-
Publication Year
с2004
-
Collation
xiv, 427 p. : ill.
-
Index
Includes index
-
Bibliography
p. 414- 417
-
Subject
Computer logic , Logic programming
-
ADDED ENTRIES
AU Ryan, Mark, 1962- , TI
-
Main Class
005
-
Sub Class
.1015113
-
Cutter no
H979l
-
ISBN
978-0-521-54310-1
-
واردكننده اطلاعات
شيرين السادات خليفه سلطاني
-
Link To Document :
