Computer Science Logic [E-Book] : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings / by Jerzy Marcinkowski, Andrzej Tarlecki.
Marcinkowski, Jerzy.
Tarlecki, Andrzej.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
online resource
Lecture notes in computer science ; 3210
Full Text
Description not available.