CYBER DEAL: 50% off all Springer eBooks | Get this offer!

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 96,29 €
price for Spain (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 124,79 €
price for Spain (gross)

Table of contents (59 chapters)

Table of contents (59 chapters)

Buy this book

eBook 96,29 €
price for Spain (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 124,79 €
price for Spain (gross)
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