Advances in the Design of Symbolic Computation Systems

Du sparer 0% ift. normalprisen Spar 0%

Paperback
2-3 uger
1.366,95 kr.

Bag om 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.

Vis mere

Sprog:
Engelsk

ISBN:
9783211828441

Forlag:
Springer Verlag GmbH

Indbinding:
Paperback

Sideantal:
276

Udgivet:
27. marts 1997

Udgave:
1997

Størrelse:
235x155x14 mm.

Vægt:
860 g.

Leveringstid: 2-3 uger.
Forventet levering: 13. december 2024

Normalpris

1.366,95 kr. + Fragt
~~1.365,95 kr.~~

Abonnementspris

1.361,95 kr.

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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

Andre købte også..

Find lignende bøger

Bogen Advances in the Design of Symbolic Computation Systems findes i følgende kategorier:

Business og læring > Computer og IT