000 | 00548nam a2200205Ia 4500 | ||
---|---|---|---|
003 | OSt | ||
005 | 20240502133713.0 | ||
008 | 180620b1989 xxu||||| |||| 00| 0 eng d | ||
020 | _a9780817634537 | ||
040 | _cJUIT, Solan | ||
082 | _a511.3 SCH | ||
100 | _aSchoning, Uwe | ||
245 |
_aLogic for Computer Scientists _cby Uwe Schoning |
||
260 |
_aBostan _bBirkhauser _c1989 |
||
300 | _a166p. | ||
650 | _aLogic Programming | ||
650 | _aLogic, Symbolic and mathematical | ||
906 | _a2db918d57f00000100a191fc3860f2cd | ||
942 |
_2ddc _cTB |
||
999 |
_c13968 _d13968 |