Harald Ganzinger (ed.)
Broschiertes Buch

Automated Deduction - CADE-16

16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Herausgegeben: Ganzinger, Harald
Versandkostenfrei!
Versandfertig in 1-2 Wochen
39,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
20 °P sammeln!
This volume contains the papers presented at the Sixteenth International Conference on Automated Deduction (CADE-16), held in Trento, Italy, July 7{10, 1999, and hosted by Istituto Trentino di Cultura { Centro per la ricerca scientic a e tecnologica (ITC-IRST). The year 1999 marks the 25th anniv- sary of CADE. Since their inception in 1974 at Argonne National Laboratory, the CADE conferences have matured into the major forum for presentation of research in all aspects of automated deduction. CADE-16 was one of the conferences participating in the 1999 Federated LogicConference (FLoC). FLoC 99w...