Automated Reasoning: 8th International Joint Conference, Ijcar 2016, Coimbra, Portugal, June 27 July 2, 2016, Proceedings
Available
 
Book Details
ISBN-13: 9783319402284
EAN: 9783319402284
Publisher Date: 12 Jun 2016
Dewey: 005.131
Language: English
No of Pages: 580
Series Title: English
Width: 154 mm
ISBN-10: 3319402285
Publisher: Springer
Binding: Paperback
Height: 230 mm
MediaMail: Y
PrintOnDemand: Y
Spine Width: 31 mm