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

Automated Deduction - CADE-21

Automated Deduction - CADE-21

Softcover - 9783540735946
53,49 €
  • 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

A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Details

Verlag Springer Berlin
Ersterscheinung 05. Juli 2007
Maße 23.5 cm x 15.5 cm
Gewicht 803 Gramm
Format Softcover
ISBN-13 9783540735946
Seiten 524

Schlagwörter

Artificial Intelligence, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Künstliche Intelligenz, Software Engineering, Theoretische Informatik

Herstellerinformationen +