Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings: 3210 (Lecture Notes in Computer Science)
by Jerzy Marcinkowski, Andrzej Tarlecki
ISBN 13: 9783540230243
Format: Paperback (538 pages) Publisher: Springer Published: 13 Jun 2008
Save for later