Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, ... Notes in Computer Science (3210), Band 3210)

Marcinkowski

von: Jerzy Marcinkowski · Andrzej Tarlecki

Taschenbuch

ISBN: 978-3-540-23024-3

ISBN-10: 3-540-23024-6

Springer · 2008