| 005 |
|
20221212114254.0 |
| 020 |
|
|a9783540454588|q(pbk.)
|
| 040 |
|
|aTMUE|beng|cTMUE|eaacr
|
| 050 |
14
|
|aQA76.9.L63|bE93 2006
|
| 082 |
04
|
|a004.015113|222
|
| 095 |
|
|aTMUE|b41|cB0202104|d004.015113|eE89|pB|tDDC|r0|y2006
|
| 110 |
2
|
|aEuropean Association for Computer Science Logic.|bConference|n(15th :|d2006 :|cSzeged, Hungary).
|
| 245 |
10
|
|aComputer Science Logic :|b20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /|cedited by Zoltan Esik.
|
| 260 |
|
|aBerlin Heidelberg :|bSpringer-Verlag GmbH.,|c2006.
|
| 300 |
|
|axii, 626 p. :|bill., digital ;|c24 cm.
|
| 490 |
1
|
|aLecture Notes in Computer Science,|x0302-9743 ;|v4207
|
| 504 |
|
|aIncludes bibliographical references.
|
| 650 |
0
|
|aComputer logic|vCongresses.
|
| 700 |
1
|
|aEsik, Zoltan.
|
| 830 |
0
|
|aLecture Notes in Computer Science ;|v4207.
|