| 000 | 00357nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 240618s9999||||xx |||||||||||||| ||und|| | ||
| 020 | _aBOUND VOLUME | ||
| 040 | _aMAIN | ||
| 082 | _a317 | ||
| 100 |
_aBOUND VOLUME _934229 |
||
| 245 | 0 | _aJOURNAL OF AUTOMATED REASONING, VOL.6,1990 | |
| 260 |
_bKA _c1990 _aDORDRECHT |
||
| 500 | _aBOUND VOLUME | ||
| 942 | _cBK | ||
| 999 |
_c41210 _d41210 |
||