TY  - BOOK
AU  - Esik,Zoltan
ED  - CSL
TI  - Computer science logic: 20th international workshop, CSL 2006, 15th Annual Conference of the EACSL, Karpacz, Poland, September 25-29, 2006 : proceedings 
SN  - 3540454586
PY  - 2006///
CY  - Berlin
PB  - Springer
KW  - Computer logic
KW  - Congresses
ER  -