Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings (Lecture Notes in Computer Science, Band 5771)
von:
Erich Grädel
·
Reinhard Kahle
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-04026-9
ISBN-10: 3-642-04026-8
Springer
· 2009
