Automated inequality proving and dis...
Yang, Lu, (1936-)

 

  • Automated inequality proving and discovering /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Automated inequality proving and discovering // Bican Xia, Lu Yang.
    Author: Xia, Bican.
    other author: Yang, Lu,
    Published: New Jersey :World Scientific, : c2016.,
    Description: xii, 332 p. :ill. (some col.) ; : 24 cm.;
    Subject: Algorithms. -
    ISBN: 9789814759113 (cloth)
Items
  • 1 records • Pages 1 •
  • 1 records • Pages 1 •
Reviews
Export
pickup library
 
 
Change password
Login