| 000 | 00890nam a2200229Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s2004##################000#0#eng## | ||
| 020 | _a3540230246 | ||
| 022 | _a2004111518 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a5.1015113 | ||
| 100 | _aMarcinkowski, Jerzy | ||
| 245 |
_aComputer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings _cJerzy Marcinkowski, Andrzej Tarlecki (eds.) |
||
| 260 |
_aBerlin _bSpringer _c2004 |
||
| 300 | _axi, 520 p. : ill. ; 24 cm | ||
| 500 | _aIncludes bibliographical references and index | ||
| 650 | _aComputer logic - Congresses | ||
| 700 | _aTarlecki, Andrzej | ||
| 710 | _aEuropean Association for Computer Science Logic. Conference (13th : 2004 : Karpacz, Poland) | ||
| 990 | _af8c4bd3eac10000c352d4609efb1e416 | ||
| 991 | _a383567 | ||
| 999 |
_c136081 _d136081 |
||