Automated Deduction - CADE-22, Fachbücher von Renate A. Schmidt
53,49 €
"Automated Deduction - CADE-22" ist eine umfassende Sammlung von Fachbeiträgen, die die Ergebnisse der 22. Internationalen Konferenz über automatisierte Deduktion dokumentiert. Diese Konferenz fand im August 2009 in Montreal, Kanada, statt und versammelte führende Experten auf dem Gebiet der automatisierten Deduktion. Die Publikation umfasst 27 überarbeitete Volltexte und 5 Systembeschreibungen, die aus insgesamt 77 eingereichten Arbeiten ausgewählt wurden. Die Beiträge sind in thematische Abschnitte gegliedert, die verschiedene Aspekte der automatisierten Deduktion abdecken, darunter Kombinationen und Erweiterungen, minimale Unzufriedenheit, automatisierte Unterstützung des Schliessens, sowie spezifische Systeme und Techniken wie Interpolation und Prädikatsabstraktion. Darüber hinaus sind drei eingeladene Vorträge von anerkannten Fachleuten enthalten, die wertvolle Einblicke in aktuelle Entwicklungen und Herausforderungen in diesem dynamischen Forschungsfeld bieten.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
