000 | 00478nam a2200169 4500 | ||
---|---|---|---|
008 | 160616s2000 000 0 | ||
245 |
_aBranching programs and binary decision diagrams _btheory and applications |
||
100 | _aWegener, Ingo | ||
260 | _aPhiladelphia | ||
260 | _bSIAM | ||
260 | _c2000 | ||
300 | _a408 | ||
440 | _aSIAM monographs on discrete mathematics and applications | ||
020 | _a9780898714586 | ||
942 |
_cBK _2BK23253 _01 |
||
080 | _a681.3 WEG | ||
999 |
_c23253 _d23253 |