Bjørner / Sofronie-Stokkermans | Automated Deduction -- CADE-23 | E-Book | sack.de
E-Book

E-Book, Englisch, Band 6803, 508 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Bjørner / Sofronie-Stokkermans Automated Deduction -- CADE-23

23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings
Erscheinungsjahr 2011
ISBN: 978-3-642-22438-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings

E-Book, Englisch, Band 6803, 508 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-642-22438-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.
Bjørner / Sofronie-Stokkermans Automated Deduction -- CADE-23 jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Bjørner, Nikolaj
Sofronie-Stokkermans, Viorica
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.