ENGLISH

Automated deduction-CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

By Andrei Voronkov

Book information

Publisher
Springer
Year
2002
ISBN
3540439315, 9783540439318
Google Books ID
YhtXuiV0joIC
Language
english
Format
PDF
Filesize
4 MB (4380765 bytes)
Series
Lecture Notes in Computer Science - Lecture Notes Artificial Intelligence 2392
Pages
547\547
Orientation
yes
Scanned
no
Time added
2012-02-04 16:00:00

Description

This book constitutes the refereed proceedings of the 18th International Conference on Automated Deduction, CADE - 18, held in Copenhagen, Denmark, in July 2002. The 27 revised full papers and 10 system descriptions presented together with three invited contributions were carefully reviewed and selected from 70 submissions. The book offers topical sections on description logics and the semantic Web, proofcarrying code and compiler verifications, non-classical logics, system descriptions, SAT, model generation, CASC, combination and decision procedures, logical frameworks, model checking, equational reasoning, and proof theory.

Similar books