Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Symbolic Rewriting Techniques

Name: Symbolic Rewriting Techniques
Brand: Springer Basel
SKU: 02116424
Price: 53.79 EUR
Availability: InStock
Author: Manuel Bronstein
ISBN: 9783034897792

Manuel Bronstein

Johannes Grabmeier

Volker Weispfenning

Lingua

Inglese

Libro In brossura

Codice Libristo: 02116424

Casa editrice Springer Basel, ottobre 2012

Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and a... Descrizione completa

Codice Libristo: 02116424

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

4 Frogs (4 žabky) Gioco/giocattolo

Gioco

15.49 €

Trottoirs du crépuscule Karen Campbell

In brossura

27.39 €

La Foire - Les Choses superflues de la vie Tieck

In brossura

27.19 €

Bruno Lomas VICENTE FABUEL CAVA

CD audio

26.19 €

HISTORIAS SOBRENATURALES Benson

In brossura

33.59 €

Herr der Ringe. Die Gefährten. 2 MP3-CDs John Ronald Reuel Tolkien

Digitale

37.99 €

Auszuge aus Ammianus Marcellinus D. Coste

In brossura

18.79 €

Grunes Licht fur die Schiene? Untersuchung des Nachhaltigkeitspotentials des Schienenguterverkehrs und dessen Auswirkungen auf den Modal Split Maria Tebbe

In brossura

22.59 €

Die Ziele der Bankenaufsicht in der Bundesrepublik Deutschland. Thomas Niethammer

In brossura

71.89 €

Zirkuslektionen Monika Hannawacker

In brossura

14.69 €

Symbolic rewriting techniques are methods for deriving consequences from systems of equations, and are of great use when investigating the structure of the solutions. Such techniques appear in many important areas of research within computer algebra: the Knuth-Bendix completion for groups, monoids and general term-rewriting systems, the Buchberger algorithm for Gröbner bases, the Ritt-Wu characteristic set method for ordinary differential equations, and the Riquier-Janet method for partial differential equations. This volume contains invited and contributed papers to the Symbolic Rewriting Techniques workshop, which was held at the Centro Stefano Franscini in Ascona, Switzerland, from April 30 to May 4, 1995. That workshop brought together 40 researchers from various areas of rewriting techniques, the main goal being the investigation of common threads and methods. Following the workshops, each contribution was formally refereed and 14 papers were selected for publication.