Context

Context of Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings, edited by Jerzy Marcinkowski, Andrzej Tarlecki, (electronic resource)
Processing Feedback ...