Fortæl dine venner om denne vare:
Advances in the Design of Symbolic Computation Systems - Texts & Monographs in Symbolic Computation 1997 edition
A Miola
Pris
DKK 861
Bestilles fra fjernlager
Forventes klar til forsendelse 13. - 19. aug.
Tilføj til din iMusic ønskeseddel
Eller
Advances in the Design of Symbolic Computation Systems - Texts & Monographs in Symbolic Computation 1997 edition
A Miola
The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods a la Hilbert and methods of natural deduction.
276 pages, 4 black & white illustrations, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 27. marts 1997 |
| ISBN13 | 9783211828441 |
| Forlag | Springer Verlag GmbH |
| Antal sider | 276 |
| Mål | 155 × 235 × 14 mm · 390 g |
| Sprog | Tysk |
| Klipper/redaktør | Miola, Alfonso |
| Klipper/redaktør | Temperini, Marco |
Se alt med A Miola ( f.eks. Paperback Bog )