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