Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science (9195), Band 9195)

von: Amy P. Felty · Aart Middeldorp Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (USA) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) Details (Frankreich) (siehe auch: livre numérique format Kindle) ISBN: 978-3-319-21400-9 ISBN-10: 3-319-21400-4 Springer · 2015