A little wonder in every chapter. Find your next favourite read
bookorelle.A LITTLE WONDER IN EVERY CHAPTER
♡0Bag 0
Need a hand? Visit our FAQ →
Automated Reasoning

Automated Reasoning

€ 62,49

Automated Reasoning — 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings. An English-language digital edition by Stéphane Demri (Editor); Deepak Kapur (Editor); Christoph Weidenbach (Editor), available in PDF.

Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.

SKU: EBC-2473897 Category:

Description

About this book

Automated Reasoning — 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings. An English-language digital edition by Stéphane Demri (Editor); Deepak Kapur (Editor); Christoph Weidenbach (Editor), available in PDF.

Edition details

  • Author / contributors: Stéphane Demri (Editor); Deepak Kapur (Editor); Christoph Weidenbach (Editor)
  • Publisher: Springer International Publishing
  • Publication date: July 01, 2014
  • Language: English
  • ISBNs: 9783319085869; 9783319085876
  • Digital formats: PDF

Additional information

Author

Stéphane Demri (Editor); Deepak Kapur (Editor); Christoph Weidenbach (Editor)
Publisher

Springer International Publishing
Language

English
ISBN

9783319085869, 9783319085876
Format

PDF
Publication date

July 01, 2014
DRM

DRM-free edition available
Download format PDF (.pdf)

Reviews

There are no reviews yet.

Be the first to review “Automated Reasoning”

Your email address will not be published. Required fields are marked *

Related products