عنوان
پدید آورنده
موضوع
رده
QA 76,.9 .H42D5 2010
QA
76
,.
9
.
H42D5
2010
کتابخانه
محل استقرار
9780763772062 )hardcover(
1489
انگلیسی
James L. Hein
3rd ed.
Sudbury, Mass.
Jones and Bartlett Publishers,
c2010
xiv, 1009 p. , ill. , 25 cm.
Title
000
Includes bibliographical references )p. 981-985( and index.
Discrete structures, logic, and computability
Computer science, Mathematics
Logic programming
Data structures )Computer science(
Logic, Symbolic and mathematical
Computable functions
004
H45D
.
51
QA
76
,.
9
.
H42D5
2010
Hein, James L.
1
English Book
غیرمرجع
