Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ... Notes in Computer Science (4646), Band 4646)

Switzerland

von Jacques Duparc

Taschenbuch

ISBN: 978-3-540-74914-1

ISBN-10: 3-540-74914-4

Springer · 2007