Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Automated Deduction - CADE-25
CHF 103.95
Auf Lager
SKU
VVTH6IBE2V6
1 Verfügbar 
Geliefert zwischen Mo., 19.01.2026 und Di., 20.01.2026
Details
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.
Up-to-date results Fast track conference proceedings State-of-the-art report Includes supplementary material: sn.pub/extras
Inhalt
Automated deduction.- Foundations.- Applications.- Implementations.- Practical experience.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319214009
- Genre Information Technology
- Auflage 1st ed. 2015
- Editor Amy P. Felty, Aart Middeldorp
- Lesemotiv Verstehen
- Anzahl Seiten 640
- Größe H236mm x B157mm x T33mm
- Jahr 2015
- EAN 9783319214009
- Format Kartonierter Einband
- ISBN 978-3-319-21400-9
- Titel Automated Deduction - CADE-25
- Untertitel 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
- Gewicht 996g
- Herausgeber Springer
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
