000 | 00308pas a2200097 454500 | ||
---|---|---|---|
008 | 160820b2000 xxu||||| |||| 00| 0 eng d | ||
022 | _a1529-3785 | ||
245 | _aACM TRANSACTIONS ON COMPUTATIONAL LOGIC | ||
260 |
_aNEW YORK _bASSOCIATION FOR COMPUTING MACHINERY _c2000 |
||
906 |
_a8(1), 2007 _b _c _dJan - Dec,2008 |
||
999 |
_c475742 _d475742 |