Get 40% off our selection of bestselling print books in Engineering through October 31st!

Lecture Notes in Artificial Intelligence

Automated Deduction - Cade-13

13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings

Editors: McRobbie, Michael A., Slaney, J.K. (Eds.)

Buy this book

eBook $139.00
price for USA in USD (gross)
  • ISBN 978-3-540-68687-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $179.00
price for USA in USD
  • ISBN 978-3-540-61511-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.

Table of contents (49 chapters)

  • Saturation-based theorem proving: Past successes and future potential

    Ganzinger, Harald

    Pages 1-1

  • A resolution theorem prover for intuitionistic logic

    Tammet, Tanel

    Pages 2-16

  • Proof-terms for classical and intuitionistic resolution

    Ritter, Eike (et al.)

    Pages 17-31

  • Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification

    Voronkov, Andrei

    Pages 32-46

  • Extensions to a generalization critic for inductive proof

    Ireland, Andrew (et al.)

    Pages 47-61

Buy this book

eBook $139.00
price for USA in USD (gross)
  • ISBN 978-3-540-68687-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $179.00
price for USA in USD
  • ISBN 978-3-540-61511-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Deduction - Cade-13
Book Subtitle
13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings
Editors
  • Michael A. McRobbie
  • J.K. Slaney
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1104
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-68687-3
DOI
10.1007/3-540-61511-3
Softcover ISBN
978-3-540-61511-8
Edition Number
1
Number of Pages
XVI, 772
Topics