AAutomated Inequality Proving and DiscoveringAutomated Inequality Proving and DiscoveringEdición de la obra Automated Inequality Proving and DiscoveringAutorBican Xia, Lu YangEditorialWorld Scientific Publishing Co Pte LtdFecha de publicación2016IdiomainglésPáginas300ISBN-139789814759113Número de CutterX6aVer todas las ediciones de esta obra →