| 000 | 00645nam a2200205 4500 | ||
|---|---|---|---|
| 008 | 160616s1999. 000 0 | ||
| 245 | _aComputer science logic: 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings | ||
| 100 | _aGottlob, Georg | ||
| 100 | _aGrandjean, Etienne | ||
| 100 | _aSeyr, Katrin Eds. | ||
| 260 | _aBerlin | ||
| 260 | _bSpringer | ||
| 260 | _c1999. | ||
| 300 | _axv, 429 | ||
| 440 | _aLecture notes in computer science ; 01584 | ||
| 020 | _a3540659226 | ||
| 650 |
_aComputer logic _aCongresses. |
||
| 942 |
_cBK _2BK19136 |
||
| 080 | _a681 LNCS | ||
| 999 |
_c19136 _d19136 |
||