Advances in the Design of Symbolic Computation Systems

Du sparer 0% ift. normalprisen Spar 0%

Paperback
2-3 uger
1.365,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: 2. december 2024

Normalpris

BLACK NOVEMBER
1.365,95 kr. + Fragt
~~1.365,95 kr.~~

Medlemspris

1.315,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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

Advances in the Design of Symbolic Computation Systems - Bog

Beskrivelse af Advances in the Design of Symbolic Computation Systems

Brugerbedømmelser af Advances in the Design of Symbolic Computation Systems

Gør som tusindvis af andre bogelskere