Springer Book Archives: eBooks only 8.99 each! Save now >>

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.)

Free Preview

Buy this book

eBook $139.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • 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
  • Immediate ebook access, if available*, with your print order
  • 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 (63 chapters)

Table of contents (63 chapters)
  • Saturation-based theorem proving: Past successes and future potential

    Pages 1-1

    Ganzinger, Harald

  • A resolution theorem prover for intuitionistic logic

    Pages 2-16

    Tammet, Tanel

  • Proof-terms for classical and intuitionistic resolution

    Pages 17-31

    Ritter, Eike (et al.)

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

    Pages 32-46

    Voronkov, Andrei

  • Extensions to a generalization critic for inductive proof

    Pages 47-61

    Ireland, Andrew (et al.)

Buy this book

eBook $139.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • 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
  • Immediate ebook access, if available*, with your print order
  • 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

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.