Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Publish Date
2012
Publisher
Springer
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Edition | Availability |
---|---|
1
Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings
2012, Springer
3642313647 9783642313646
|
aaaa
Libraries near you:
WorldCat
|
Community Reviews (0)
Feedback?August 3, 2020 | Edited by ImportBot | import existing book |
October 14, 2016 | Edited by Mek | Added new cover |
October 14, 2016 | Created by Mek | Added new book. |