TY  - BOOK
AU  - Gao, Xiao-Shan and Wang, Dongming
AU  - Wang, Dongming; Jt. ed.
TI  - Mathematics mechanization and applications
SN  - 0127347607
U1  - 510.9 
PY  - 2000///
CY  - San Francisco
PB  - Academic Press
N1  - "Purchased under NBHM grant for the year 2000-2001"
ER  -