-
RecordNumber
69677
-
Author
Krantz, Steven George, 1951-
-
Title
Handbook of logic and proof techniques for computer science
-
Author Statement
Steven G. Krantz
-
Publication
Birkhauser
-
Publication Year
c2002
-
Collation
xix, 245p.: ill., disgrs
-
Bibliography
Bibliography: p.231- 236
-
Subject
Computers , Electronic data processing
-
Main Class
004
-
Cutter no
K89h
-
وارد كنندة اطلاعات
s.hovsepian^d2003/06/21 11:21:24 , khodaei^d2003/08/11 09:37:03
-
Link To Document :
