Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Symbolic Rewriting Techniques

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

Manuel Bronstein

Johannes Grabmeier

Volker Weispfenning

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 02116424

Editores Springer Basel, octubre 2012

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

Código Libristo: 02116424

139 b

56.59 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

4 Frogs (4 žabky) Juego/Juguete

Juego

15.79 €

Trottoirs du crépuscule Karen Campbell

Tapa blanda

26.69 €

La Foire - Les Choses superflues de la vie Tieck

Tapa blanda

27.59 €

Bruno Lomas VICENTE FABUEL CAVA

CD de audio

25.49 €

HISTORIAS SOBRENATURALES Benson

Tapa blanda

32.79 €

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

Digital

40.19 €

Auszuge aus Ammianus Marcellinus D. Coste

Tapa blanda

19.79 €

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

Tapa blanda

23.79 €

Die Ziele der Bankenaufsicht in der Bundesrepublik Deutschland. Thomas Niethammer

Tapa blanda

73.29 €

Zirkuslektionen Monika Hannawacker

Tapa blanda

14.99 €

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.