Automated Reasoning

Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

, ,
Paperback Published on: 04/08/2014
£44.99
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.

Publisher information

  • Publisher: Springer International Publishing AG
  • ISBN: 9783319085869
  • Number of pages: 528
  • Dimensions: 235 x 155 mm
  • Languages: English

Customer Reviews