| 000 | 01197 a2200301 4500 | ||
|---|---|---|---|
| 001 | 11885 | ||
| 111 | 2 |
_94224 _aWorkshop On Computer Science Logic _n(11th : _d1997 : _cAarhus, Denmark) |
|
| 999 |
_c11885 _d1574 |
||
| 003 | TR-AnTOB | ||
| 005 | 20210311100817.0 | ||
| 008 | 980508s1998 gw b 101 0 eng | ||
| 010 | _a98022163 | ||
| 020 | _a3540645705 (softcover : alk. paper) | ||
| 040 |
_aDLC _cDLC _dDLC |
||
| 041 | _aeng | ||
| 050 | 3 |
_aQA76.9.L63 _bW67 1998 |
|
| 090 | _aQA76.9.L63 W67 1998 | ||
| 245 | 0 |
_aComputer science logic : _b11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / _cMogens Nielsen, Wolfgang Thomas (eds.). |
|
| 264 | 1 |
_aBerlin ; _aNew York : _bSpringer, _c1998. |
|
| 300 |
_aviii, 509 p. ; _c24 cm. |
||
| 490 | 0 |
_aLecture notes in computer science ; _v1414. |
|
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 |
_aComputer logic _vCongresses _94225 |
|
| 700 |
_aNielsen, M., _q(Mogens), _d1949- _94221 |
||
| 700 | 1 |
_aThomas, Wolfgang, _d1947- _92159 |
|
| 710 | 2 | 2 |
_aEuropean Association for Computer Science Logic. _bConference _n(6th : _d1997 : _cAarhus, Denmark) _94223 |
| 942 | _cBK | ||