Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science Book 9195) (English Edition)
14 Angebote vergleichen
Bester Preis: € 57,13 (vom 20.10.2019)Automated Deduction - Cade-25 2015: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Paperback) (2015)
ISBN: 9783319214009 bzw. 3319214004, in Deutsch, Springer International Publishing AG, Switzerland, Taschenbuch, neu.
Language: English Brand New Book. This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.
Automated Deduction - CADE-25 (2015)
ISBN: 9783319214016 bzw. 3319214012, in Deutsch, Springer, neu, E-Book.
25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. 30.07.2015, PDF.
Automated Deduction - CADE-25 (2015)
ISBN: 9783319214016 bzw. 3319214012, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. eBook.
Automated Deduction - CADE-25 (2015)
ISBN: 9783319214009 bzw. 3319214004, in Deutsch, Springer-Verlag Gmbh Sep 2015, Taschenbuch, neu.
Neuware - This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. 640 pp. Englisch.
Automated Deduction - CADE-25 (2015)
ISBN: 9783319214009 bzw. 3319214004, in Deutsch, Springer-Verlag Gmbh Sep 2015, Taschenbuch, neu.
Neuware - This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. 640 pp. Englisch.
Automated Deduction - CADE-25 (2015)
ISBN: 9783319214009 bzw. 3319214004, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
Versandbuchhandlung Kisch & Co. [3338288].
Neuware - This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. Taschenbuch.
Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (2015)
ISBN: 9783319214016 bzw. 3319214012, vermutlich in Englisch, Springer International Publishing, neu, E-Book, elektronischer Download.
Automated Deduction - CADE-25: This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. Englisch, Ebook.
Automated Deduction - CADE-25 (2015)
ISBN: 9783319214016 bzw. 3319214012, vermutlich in Englisch, neu, E-Book, elektronischer Download.
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science Book 9195) (English Edition) (2015)
ISBN: 9783319214016 bzw. 3319214012, in Englisch, 640 Seiten, Felty, Amy P. Middeldorp, Aart, Springer, neu, Erstausgabe, E-Book, elektronischer Download.
Von Händler/Antiquariat, Amazon Media EU S.à r.l.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen