TY  - BOOK
AU  - Gao,Xiao-Shan (ed)
AU  - Wang,Dongming
TI  - Mathematics mechanization and applications
SN  - 0127347607
PY  - 2000///
CY  - Academic Press
PB  - San Diego
KW  - Mathematics
KW  - Mechanization and applications
KW  - sears
N1  - Includes index
ER  -