Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science, Band 7898)
von
Maria Paola Bonacina
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-38573-5
ISBN-10: 3-642-38573-7
Springer
· 2013
