Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Artificial Intelligence

Automated Reasoning

First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Editors: Gore, Rajeev, Leitsch, Alexander, Nipkow, Tobias (Eds.)

Free Preview

Buy this book

eBook $129.00
price for USA in USD
  • ISBN 978-3-540-45744-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $169.00
price for USA in USD
  • ISBN 978-3-540-42254-9
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually ready to be dispatched within 3 to 5 business days.

Table of contents (59 chapters)

Table of contents (59 chapters)
  • Program Termination Analysis by Size-Change Graphs (Abstract)

    Pages 1-4

    Jones, Neil D.

  • SET Cardholder Registration: The Secrecy Proofs

    Pages 5-12

    Paulson, Lawrence C.

  • Algorithms, Datastructures, and other Issues in Efficient Automated Deduction

    Pages 13-28

    Voronkov, Andrei

  • The Description Logic ALCNH R + Extended with Concrete Domains: A Practically Motivated Approach

    Pages 29-44

    Haarslev, Volker (et al.)

  • NExpTime-Complete Description Logics with Concrete Domains

    Pages 45-60

    Lutz, Carsten

Buy this book

eBook $129.00
price for USA in USD
  • ISBN 978-3-540-45744-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $169.00
price for USA in USD
  • ISBN 978-3-540-42254-9
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually ready to be dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Reasoning
Book Subtitle
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Editors
  • Rajeev Gore
  • Alexander Leitsch
  • Tobias Nipkow
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
2083
Copyright
2001
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45744-2
DOI
10.1007/3-540-45744-5
Softcover ISBN
978-3-540-42254-9
Edition Number
1
Number of Pages
XIII, 712
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 and instructor copies are not included.