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 71,39 €
price for Spain (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 90,47 €
price for Spain (gross)
  • ISBN 978-3-540-66222-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (40 chapters)

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

    Groote, Philippe

    Pages 1-15

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

    Demri, Stéephane (et al.)

    Pages 16-30

  • Decision Procedures for Guarded Logics

    Grädel, Erich

    Pages 31-51

  • A PSpace Algorithm for Graded Modal Logic

    Tobies, Stephan

    Pages 52-66

  • Solvability of Context Equations with Two Context Variables Is Decidable

    Schmidt-Schauß, Manfred (et al.)

    Pages 67-81

Buy this book

eBook 71,39 €
price for Spain (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 90,47 €
price for Spain (gross)
  • ISBN 978-3-540-66222-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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