Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings (Lecture Notes in Computer Science, Band 6173)
von:
Jürgen Giesl
·
Reiner Hähnle
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-14202-4
ISBN-10: 3-642-14202-8
Springer
· 2010
