EAN: 9783642029585

AUTOMATED DEDUCTION - CADE-22 KARTONIERT (TB)

This book constitutes the refereed proceedings of the 22nd International Conference on
Automated Deduction  CADE-22  held in Montreal  Canada  in August 2009. The 27 revised full
papers and 5 system descriptions presented were carefully reviewed and selected from 77
submissions. Furthermore  three invited lectures by distinguished experts in the area were
included. The papers are organized in topical sections on combinations and extensions  minimal
unsatisfiability and automated reasoning support  system descriptions  interpolation and
predicate abstraction  resolution-based systems for non-classical logics  termination analysis
and constraint solving  rewriting  termination and productivity  models  modal tableaux with
global caching  arithmetic.

Aktuelle Preise zur EAN 9783642029585

Produktinformationen zur 9783642029585