عنوان
پدید آورنده
موضوع
رده
QA 76 .K7
QA
76
.
K7
کتابخانه
محل استقرار
Handbook of logic and proof techniques for computer science
Boston
New York
Birkhauser
Springer
2002
xix, 245 p.
Bibliography: p. 231-236
ISBN: 081764220X
Steven G. Krantz
R
1
، Computers
، Electronic data processing
QA
76
.
K7
Krantz, Steven George, 1591-
AU
TI
