Stock up on the latest tech titles and 2019 bestsellers. Shop the selection now >>

Lecture Notes in Artificial Intelligence

Automated Deduction - CADE-14

14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

Editors: McCune, William (Ed.)

Free Preview

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-540-69140-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-540-63104-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997.
The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.

Table of contents (45 chapters)

Table of contents (45 chapters)
  • The char-set method and its applications to automated reasoning

    Pages 1-3

    Wen-Tsün, Wu

  • Decidable call by need computations in term rewriting (extended abstract)

    Pages 4-18

    Durand, Irène (et al.)

  • A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method

    Pages 19-33

    Baader, Franz (et al.)

  • On equality up-to constraints over finite trees, context unification, and one-step rewriting

    Pages 34-48

    Niehren, Joachim (et al.)

  • Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses

    Pages 49-52

    Nieuwenhuis, Robert (et al.)

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-3-540-69140-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA
  • ISBN 978-3-540-63104-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Services for this book

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Deduction - CADE-14
Book Subtitle
14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
Editors
  • William McCune
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1249
Copyright
1997
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69140-2
DOI
10.1007/3-540-63104-6
Softcover ISBN
978-3-540-63104-0
Edition Number
1
Number of Pages
XV, 469
Topics