TY  - BOOK
AU  - University ,Auburn
TI  - Discrete source
AV  - QA11 .U55 2006
PY  - 2006///
CY  - Boston
PB  - Pearson
KW  - Algorithms
KW  - Logic and Proofs
N1  - includes index
ER  -