Advances in the Design of Symbolic Computation Systems - Texts & Monographs in Symbolic Computation - A Miola - Kirjat - Springer Verlag GmbH - 9783211828441 - torstai 27. maaliskuuta 1997
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Advances in the Design of Symbolic Computation Systems - Texts & Monographs in Symbolic Computation 1997 edition

A Miola

Hinta
HK$ 937,20

Tilattu etävarastosta

Arvioitu toimitus to - pe 14. - 22. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Advances in the Design of Symbolic Computation Systems - Texts & Monographs in Symbolic Computation 1997 edition

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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 27. maaliskuuta 1997
ISBN13 9783211828441
Tuottaja Springer Verlag GmbH
Sivujen määrä 276
Mitta 155 × 235 × 14 mm   ·   390 g
Kieli German  
Toimittaja Miola, Alfonso
Toimittaja Temperini, Marco

Katso kaikki joka sisältää A Miola ( Esim. Paperback Book )