Books listed by ISBN

BICAN XIA

Bosun Xie

titleISBN-13
(ISBN-10)		year of publica-
tion		other author(s)
Automated Inequality Proving and Discovering978-981-4759-11-3
(981-4759-11-2)		2016LU YANG

Bin Xian