| 000 | 00398nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 240618s9999||||xx |||||||||||||| ||und|| | ||
| 020 |
_aNCST _c159.6 |
||
| 040 | _aMAIN | ||
| 082 | _a901 | ||
| 100 |
_aBIBEL,WOLFGANG (ED), KOWALSKI,ROBERT (ED) _938578 |
||
| 245 | 0 | _a5TH CONFERENCE ON AUTOMATED DEDUCTION,FRANCE,1980 | |
| 250 | _a1 | ||
| 260 |
_bSV _c1980 _aBERLIN |
||
| 300 | _b385 | ||
| 942 | _cBK | ||
| 999 |
_c45427 _d45427 |
||