Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Edition | Availability |
---|---|
1
Automated Inequality Proving and Discovering
2016, World Scientific Publishing Co Pte Ltd
in English
9814759112 9789814759113
|
aaaa
Libraries near you:
WorldCat
|
Community Reviews (0)
Feedback?August 5, 2020 | Created by ImportBot | import new book |