Marcinkowski, Jerzy Tarlecki, Andrzej Eds.,
Computer science logic:18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings - Berlin Springer 2004 - 520 - Lecture notes in computer science ; 03210 .
3540230246
Computer logic
Congresses.
681 LNCS
Computer science logic:18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings - Berlin Springer 2004 - 520 - Lecture notes in computer science ; 03210 .
3540230246
Computer logic
Congresses.
681 LNCS