✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 476.753 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Automated Deduction – CADE 27

Automated Deduction – CADE 27

Softcover - 9783030294359
85,59 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019.
The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.

 

27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Details

Verlag Springer International Publishing
Ersterscheinung 21. August 2019
Maße 23.5 cm x 15.5 cm
Gewicht 908 Gramm
Format Softcover
ISBN-13 9783030294359
Auflage 1st ed. 2019
Seiten 582

Schlagwörter

Artificial Intelligence, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Künstliche Intelligenz, Software Engineering, System Performance and Evaluation, Systemanalyse und -design, Theoretische Informatik

Herstellerinformationen +