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.
|