| 000 | 00395nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 240618s9999||||xx |||||||||||||| ||und|| | ||
| 020 |
_aKBCS _c571.29 |
||
| 040 | _aMAIN | ||
| 082 | _a1135 | ||
| 100 |
_aSMETS,PHILIPPE (ED) _936674 |
||
| 245 | 0 | _aNON STANDARD LOGICS FOR AUTOMATED REASONING | |
| 250 | _a1 | ||
| 260 |
_bAP _c1988 _aLONDON |
||
| 300 | _b334 | ||
| 500 | _aBR-242 | ||
| 942 | _cBK | ||
| 999 |
_c43543 _d43543 |
||