Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings (Lecture Notes in Computer Science, Band 6247)
von:
Anuj Dawar
·
Helmut Veith
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-15204-7
ISBN-10: 3-642-15204-X
Springer
· 2010