Computer science logic : 20th international workshop, CSL 2006, 15th Annual Conference of the EACSL, Karpacz, Poland, September 25-29, 2006 : proceedings /
Computer science logic : 20th international workshop, CSL 2006, 15th Annual Conference of the EACSL, Karpacz, Poland, September 25-29, 2006 : proceedings /
Zoltán Ésik (eds.)
- Berlin : Springer, 2006
- 626 p. : ill. ; 24 cm.
- Lecture notes in computer science, 4207 .
3540454586 978354045588
Computer logic--Congresses
3540454586 978354045588
Computer logic--Congresses