Mathematics mechanization and applications [e-book] / edited by Xiao-Shan Gao and Dongming Wang |
Pubbl/distr/stampa | San Diego : Academic Press, c2000 |
Descrizione fisica | xix, 551 p. : ill. ; 26 cm |
Disciplina | 512.94 |
Altri autori (Persone) |
Gao, Xiao-Shan
Wang, Dongming |
Soggetto topico |
Equations - Numerical solutions - Data processing
Automatic theorem proving |
ISBN |
9780127347608
0127347607 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991003278409707536 |
San Diego : Academic Press, c2000 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. del Salento | ||
|
Mathematics mechanization and applications / edited by Xiao-Shan Gao and Dongming Wang |
Pubbl/distr/stampa | San Diego (etc.), : Academic press, 2000 |
Descrizione fisica | XIX, 551 p. : ill. ; 25 cm |
Disciplina | 519 |
Soggetto topico | Matematica applicata |
ISBN | 0127347607 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAS-RMS0118847 |
San Diego (etc.), : Academic press, 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Cassino | ||
|