Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings ... Notes in Computer Science (2142), Band 2142)
von
Laurent Fribourg
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-42554-0
ISBN-10: 3-540-42554-3
Springer
· 2008
