| 000 | 00987pam a2200301 a 4500 | ||
|---|---|---|---|
| 001 | 1508394 | ||
| 005 | 20230818020002.0 | ||
| 008 | 890818s1989 maua b 001 0 eng | ||
| 010 | _a 89017864 | ||
| 020 | _a9780817647629 | ||
| 040 |
_aDLC _cDLC _dDLC |
||
| 041 | 1 |
_aeng _hger |
|
| 050 | 0 | 0 |
_aQA9 _b.S363 1989 |
| 082 | 0 | 0 |
_a511.3 _220 _bSCH-L |
| 100 | 1 |
_aSchoning, Uwe, _d1955- |
|
| 240 | 1 | 0 |
_aLogik für Informatiker. _lEnglish |
| 245 | 1 | 0 |
_aLogic for computer scientists _cUwe Schoning. |
| 260 |
_aBoston : _bBirkhauser, _c1989. |
||
| 300 |
_a166 p. : _bill. ; _c24 cm. |
||
| 440 | 0 |
_aProgress in computer science and applied logic ; _vv. 8 |
|
| 500 | _aTranslation of: Logik für Informatiker. | ||
| 504 | _aIncludes bibliographical references (p. 155-159). | ||
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 650 | 0 | _aLogic programming. | |
| 906 |
_a7 _bcbc _corignew _d1 _eocip _f19 _gy-gencatlg |
||
| 942 |
_2ddc _cBK _02 |
||
| 999 |
_c9103 _d9103 |
||