EAN: 9783540581567

AUTOMATED DEDUCTION - CADE-12 KARTONIERT (TB)

This volume contains the reviewed papers presented at the 12th International Conference on
Automated Deduction (CADE-12) held at Nancy  France in June July 1994. The 67 papers presented
were selected from 177 submissions and document many of the most important research results in
automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on
heuristics  resolution systems  induction  controlling resolutions  ATP problems  unification 
LP applications  special-purpose provers  rewrite rule termination  ATP efficiency  AC
unification  higher-order theorem proving  natural systems  problem sets  and system
descriptions.

Aktuelle Preise zur EAN 9783540581567

Produktinformationen zur 9783540581567