Automated Deduction - C.A.D.E.-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture ... Notes in Computer Science, Band 5663)
von
Renate A. Schmidt
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-02958-5
ISBN-10: 3-642-02958-2
Springer
· 2009
