Mathematics mechanization and applications /

Bibliographic Details
Other Authors:	Gao, Xiao-Shan, Wang, Dongming
Format:	Book
Language:	English
Published:	San Diego : Academic Press, [2000]
Subjects:	Automatic theorem proving. Equations > Numerical solutions. Artificial intelligence. Programming (Mathematics)

Evans: Library Stacks