Automated Reasoning

Automated Reasoning

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International...

Read more
E-book
pdf
Price
69.99 £

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International...

Read more

Options

  • Formats: pdf
  • ISBN: 9783319402291
  • Publication Date: 13 Jun 2016
  • Publisher: Springer International Publishing
  • Product language: English
  • Drm Setting: DRM