Automated Deduction - Cade-18
18Th International Conference On Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
Editor: AndreiVoronkov
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2002
Paperback, 546 pages
Size: 235x155 mm
ISBN: 9783540439318
ISBN-10: 3540439315
Automated Deduction - Cade-18
Constitutes the proceedings of the 18th International Conference on Automated Deduction, held in Denmark in 2002. The 27 full papers and 10 system descriptions cover proofcarrying code and compiler verifications, non-classical logics, system descriptions, SAT, model generation, CASC and more.

