Mathematics mechanization and applications
tarafından
 
Gao, Xiao-Shan.

Başlık
: 
Mathematics mechanization and applications

Yazar
: 
Gao, Xiao-Shan.

ISBN
: 
9780127347608

Yayın Bilgileri
: 
San Diego : Academic Press, c2000.

Fiziksel Tanımlama
: 
1 online resource (xix, 551 p.) : ill.

Konu Terimleri
: 
Equations -- Numerical solutions -- Data processing.
 
Automatic theorem proving.
 
Aufsatzsammlung.
 
Automatisches Beweisverfahren.
 
Computeralgebra.
 
Geometrische Modellierung.

Yazar Ek Girişi
: 
Gao, Xiao-Shan.
 
Wang, Dongming, 1961-

Elektronik Erişim
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780127347608


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap256505-1001ONLINEElektronik Kütüphane