000 | 00294pas a2200097 454500 | ||
---|---|---|---|
008 | 160820b1985 xxu||||| |||| 00| 0 eng d | ||
022 | _a0168-7433 | ||
245 | _aJOURNAL OF AUTOMATED REASONING | ||
260 |
_aNEW YORK USA _bSPRINGER-VERLAG _c1985 |
||
906 |
_a40(1), 2008+ _b8/Yr _cOnline _dJan - Dec,2016 |
||
999 |
_c474743 _d474743 |