| 000 | 00357nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 240618s9999||||xx |||||||||||||| ||und|| | ||
| 020 | _aBOUND VOLUME | ||
| 040 | _aMAIN | ||
| 082 | _a317 | ||
| 100 |
_aBOUND VOLUME _934228 |
||
| 245 | 0 | _aJOURNAL OF AUTOMATED REASONING, VOL.5,1989 | |
| 260 |
_bKA _c1989 _aDORDRECHT |
||
| 500 | _aBOUND VOLUME | ||
| 942 | _cBK | ||
| 999 |
_c41209 _d41209 |
||