Title : Mathematics Mechanization and Applications
Author : Gao, X-S
Year : 2000
Price : $ 210.00