Skip to:Content
|
Bottom
Cover image for Mathematics mechanization and applications
Title:
Mathematics mechanization and applications
Author:
Gao, Xiao-Shan.
ISBN:
9780127347608
Publication Information:
San Diego : Academic Press, c2000.
Physical Description:
1 online resource (xix, 551 p.) : ill.
Subject Term:
Equations -- Numerical solutions -- Data processing.

Automatic theorem proving.

Aufsatzsammlung.

Automatisches Beweisverfahren.

Computeralgebra.

Geometrische Modellierung.
Added Author:
Gao, Xiao-Shan.

Wang, Dongming, 1961-
Electronic Access:
ScienceDirect http://www.sciencedirect.com/science/book/9780127347608
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 256505-1001 ONLINE
Searching...

On Order

Go to:Top of Page