| 000 | 01221cam a2200325 i 4500 | ||
|---|---|---|---|
| 001 | xx001643286 | ||
| 003 | NUKAT | ||
| 005 | 20251228162208.0 | ||
| 008 | 990127s1992 xxk |100 0 eng c | ||
| 020 |
_a3540197427 _qBerlin |
||
| 020 |
_a0387197427 _qNew York |
||
| 035 | _a(OCoLC)751023733 | ||
| 040 |
_aNUKAT _cWA U/MK |
||
| 111 | 2 |
_aLOPSTR 91 _d(1991 ; _cManchester). _985942 |
|
| 245 | 1 | 0 |
_aLogic program synthesis and transformation : _bproceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 / _cT. P. Clement and K.-K. Lau (eds.). |
| 260 |
_aLondon : _bSpringer, _c1992. |
||
| 300 |
_aX, 337 s. ; _c25 cm. |
||
| 336 | _aTekst | ||
| 337 | _aBez urządzenia pośredniczącego | ||
| 338 | _aWolumin | ||
| 490 | 1 | _aWorkshops in Computing | |
| 650 | 7 |
_aProgramowanie logiczne _vkonferencje. _2kaba _982028 |
|
| 700 | 1 |
_aClement, Timothy Paul _d(1954- ). _eRed. _985944 |
|
| 700 | 1 |
_aLau, Kung-Kiu _d(1953- ). _eRed. _985945 |
|
| 830 | 0 |
_aWorkshops in Computing _985943 |
|
| 920 |
_a3-540-19742-7 _qBerlin |
||
| 920 |
_a0-387-19742-7 _qNew York |
||
| 999 |
_c65238 _d65238 |
||