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

Buy this book

eBook $129.00
price for USA in USD (gross)
  • 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
  • Usually dispatched within 3 to 5 business days.

Table of contents (49 chapters)

  • Program Termination Analysis by Size-Change Graphs (Abstract)

    Jones, Neil D.

    Pages 1-4

  • SET Cardholder Registration: The Secrecy Proofs

    Paulson, Lawrence C.

    Pages 5-12

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

    Voronkov, Andrei

    Pages 13-28

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

    Haarslev, Volker (et al.)

    Pages 29-44

  • NExpTime-Complete Description Logics with Concrete Domains

    Lutz, Carsten

    Pages 45-60

Buy this book

eBook $129.00
price for USA in USD (gross)
  • 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
  • Usually 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