Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Lecture Notes in Computer Science)

Name: Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Lecture Notes in Computer Science)
ISBN: 9783319402284

by Olivetti, Nicola, Tiwari, Ashish

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Lecture Notes in Computer Science)

by Olivetti, Nicola, Tiwari, Ashish

Marketplace Prices
New from $83.02

New
$83.02

List Price

~~$107.00~~

Discount

22% Off

You Save

$23.98

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783319402284
ISBN: 3319402285
Edition: 1st ed. 2016
Publication Date: 2016
Publisher: Springer

AUTHOR

Olivetti, Nicola, Tiwari, Ashish

SUMMARY

Olivetti, Nicola is the author of 'Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Lecture Notes in Computer Science)', published 2016 under ISBN 9783319402284 and ISBN 3319402285.

[read more]