Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September (Lecture Notes in Computer Science (2471), Band 2471)

Conference

von Julian Bradfield

Taschenbuch

ISBN-13: 978-3-540-44240-0

ISBN-10: 3-540-44240-5

Springer · 2008