Advances in the Design of Symbolic Computation Systems - Texts & Monographs in Symbolic Computation - A Miola - Books - Springer Verlag GmbH - 9783211828441 - March 27, 1997
In case cover and title do not match, the title is correct

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

A Miola

Price
₩ 150,000
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 18 - 28

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released March 27, 1997
ISBN13 9783211828441
Publishers Springer Verlag GmbH
Pages 276
Dimensions 155 × 235 × 14 mm   ·   390 g
Language German  
Editor Miola, Alfonso
Editor Temperini, Marco

See all of A Miola ( e.g. Paperback Book )