Automated Inequality Proving and Discovering. Xia, Yang 9789814759113 New<|
Title: Automated Inequality Proving and Discovering Item Condition: New. New: New books are in mint condition, normally sourced directly from publishers. Used-like N : The book pretty much look like a new book.