ENGLISH

Automated Deduction — CADE-15: 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998 Proceedings

By Claude Kirchner , Hélène Kirchner (eds.) , Frank Pfenning (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1998
ISBN
3540646752, 9783540646754
DOI
10.1007/BFb0054239
LCC
QA76.9.A96 I57 1998
Open Library ID
OL367942M
Language
english
Format
DJVU
Filesize
8 MB (8020282 bytes)
Series
Lecture Notes in Computer Science 1421 : Lecture Notes in Artificial Intelligence
Edition
1
Pages
450\896
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16
Artificial Intelligence (incl. Robotics); Mathemat

Description

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

Similar books