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

Claude Kirchner (u. a.)

ISBN 10: 3540646752 / ISBN 13: 9783540646754

Edité par Springer, 1998

Automated Deduction - CADE-15 | 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings | Claude Kirchner (u. a.) | Taschenbuch | xiv | Englisch | 1998 | Springer | EAN 9783540646754 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 101931183

Synopsis :

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.

Détails bibliographiques

Titre : Automated Deduction - CADE-15 | 15th ...
Éditeur : Springer
Date d'édition : 1998
Reliure : Taschenbuch
Etat : Neu