Mathematics mechanization and applications / edited by Xiao-shan Gao and Dongming Wang.

Saved in:

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)

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA76.9.A96 M3 2000
QA76.9.A96 M3 2000	Available Place a Hold