Mathematica : a system for doing mathematics by computer / Stephen Wolfram |
Autore | Wolfram, Stephen |
Edizione | [2nd ed] |
Pubbl/distr/stampa | Redwood City, Calif. : Addison-Wesley, c1991 |
Descrizione fisica | xxii, 961 p. ; 23 cm. |
Disciplina |
001.6425
510.28553 |
Soggetto topico |
Mathematics (Computer file)
Mathematics-data processing |
ISBN | 0201515075 (pbk.) |
Classificazione |
AMS 00A99
AMS 68-04 AMS 68-XX CR G.4 QA76.95 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001121549707536 |
Wolfram, Stephen
![]() |
||
Redwood City, Calif. : Addison-Wesley, c1991 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy |
Autore | Kohlhase, Michael |
Pubbl/distr/stampa | Berlin : Springer, c2006 |
Descrizione fisica | xix, 428 p. : ill. ; 24 cm |
Collana |
Lecture notes in computer science ; 4180
Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems Lecture notes in computer science, 0302-9743 ; 4180. Lecture notes in artificial intelligence. AI systems |
Soggetto topico |
Mathematics - Data processing
Information storage and retrieval systems - Mathematics OMDoc (Document markup language) |
ISBN |
3540378979
9783540378976 |
Classificazione |
CR I.2
CR F.4 CR F.3.1 CR G.4 CR H.3 CR I.1 CR I.7 AMS 68P LC QA76.95.K64 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991002027709707536 |
Kohlhase, Michael
![]() |
||
Berlin : Springer, c2006 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|