Felty / Middeldorp | Automated Deduction - CADE-25 | E-Book | sack.de
E-Book

E-Book, Englisch, Band 9195, 640 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Felty / Middeldorp Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
1. Auflage 2015
ISBN: 978-3-319-21401-6
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

E-Book, Englisch, Band 9195, 640 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-319-21401-6
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.
Felty / Middeldorp Automated Deduction - CADE-25 jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Felty, Amy P.
Middeldorp, Aart

Weitere Infos & Material

Automated deduction.- Foundations.- Applications.- Implementations.- Practical experience.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.