Advances in the Design of Symbolic Computation Systems - Texts & Monographs in Symbolic Computation - A Miola - Livros - Springer Verlag GmbH - 9783211828441 - 27 de março de 1997
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

A Miola

Preço
SEK 1.089

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 14 - 22 de ago

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 27 de março de 1997
ISBN13 9783211828441
Editoras Springer Verlag GmbH
Páginas 276
Dimensões 155 × 235 × 14 mm   ·   390 g
Idioma German  
Editor Miola, Alfonso
Editor Temperini, Marco

Ver tudo de A Miola ( por exemplo Paperback Book )