Advances in the Design of Symbolic Computation Systems
- Indbinding:
- Paperback
- Sideantal:
- 276
- Udgivet:
- 27. marts 1997
- Udgave:
- 1997
- Størrelse:
- 235x155x14 mm.
- Vægt:
- 860 g.
Leveringstid:
2-3 uger
Forventet levering: 2. december 2024
Beskrivelse af Advances in the Design of Symbolic Computation Systems
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.
Brugerbedømmelser af Advances in the Design of Symbolic Computation Systems
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Advances in the Design of Symbolic Computation Systems findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621