Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
Marcinkowski, Jerzy
Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
Jerzy Marcinkowski, Andrzej Tarlecki (eds.)
- Berlin Springer 2004
- xi, 520 p. : ill. ; 24 cm