Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Lecture Notes in Artificial Intelligence

Automated Deduction - CADE-16

16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Editors: Ganzinger, Harald (Ed.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-48660-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 in USD
  • ISBN 978-3-540-66222-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (40 chapters)

Table of contents (40 chapters)
  • A Dynamic Programming Approach to Categorial Deduction

    Pages 1-15

    Groote, Philippe

  • Tractable Transformations from Modal Provability Logics into First-Order Logic

    Pages 16-30

    Demri, Stéephane (et al.)

  • Decision Procedures for Guarded Logics

    Pages 31-51

    Grädel, Erich

  • A PSpace Algorithm for Graded Modal Logic

    Pages 52-66

    Tobies, Stephan

  • Solvability of Context Equations with Two Context Variables Is Decidable

    Pages 67-81

    Schmidt-Schauß, Manfred (et al.)

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-48660-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 in USD
  • ISBN 978-3-540-66222-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-16
Book Subtitle
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Editors
  • Harald Ganzinger
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1632
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48660-2
DOI
10.1007/3-540-48660-7
Softcover ISBN
978-3-540-66222-8
Edition Number
1
Number of Pages
XIV, 438
Topics