TY  - BOOK
AU  - Marcinkowski, Jerzy
AU  - Tarlecki, Andrzej Eds.,
TI  - Computer science logic:18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
SN  - 3540230246
CY  - Berlin
KW  - Computer logic
KW  - Congresses
ER  -