Willkommen, schön sind Sie da!
Logo Ex Libris

Automated Deduction -- CADE-23

  • Kartonierter Einband
  • 508 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroca... Weiterlesen
CHF 120.00
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocaw, 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.

Fast track conference proceedings

Unique visibility

State of the art research

Produktinformationen

Titel: Automated Deduction -- CADE-23
Untertitel: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings
Editor:
EAN: 9783642224379
ISBN: 3642224377
Format: Kartonierter Einband
Herausgeber: Springer-Verlag GmbH
Genre: Anwendungs-Software
Anzahl Seiten: 508
Gewicht: 783g
Größe: H239mm x B159mm x T28mm
Jahr: 2011
Untertitel: Englisch
Auflage: 2011

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"