000 00435nam a22001697a 4500
003 CEME
005 20210628205101.0
008 210224b xxu||||| |||| 00| 0 eng d
020 _a0-7923-9652-9
040 _c.
082 _a621.395 MIN'B
100 _aMinaton, Shin-Ichi
_973791
245 _aBinary decision diagrams and applications for vlsi cad
260 _aBOSTON
_bKLUWER
_c1996
300 _aXIII, 143P
942 _cBK
_2ddc
999 _c579435
_d579435