Author :
Huth, Michael
SubTitle :
modelling and reasoning about systems
Author Statement :
Michael Huth, Mark Ryan
Edition :
2nd ed
Collation :
xiv, 427 P.: Illus
Addition :
,
Title :
Logic in computer science
LC Class :
005
LC Number :
.1015113
LC CutterNumber :
H 979 L
تاريخ ورود اطلاعات :
1393/11/26
Publication Year :
2004
Birth-Death :
1962
LC Date :
Ed.2
Publication :
Cambridge University Press
Subject :
Computer logic,Logic programming
DocumentNumber :
4816
ISBNN :
,
Link To Document :
http://lib1.kashanu.ac.ir//dL/search/default.aspx?Term=7761&Field=0&DTC=2
All Rights Reserved To Payam Mashregh Company
