Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Symbolic Rewriting Techniques

Name: Symbolic Rewriting Techniques
Brand: Springer, Berlin
SKU: 01716359
Price: 37531 HUF
Availability: InStock
Author: Manuel Bronstein
ISBN: 9783764359010

Manuel Bronstein

Johannes Grabmeier

Volker Weispfenning

Language

English

Book Hardback

Libristo code: 01716359

Publishers Springer, Berlin, January 2013

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

Libristo code: 01716359

249 b

37 531 Ft

In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

Shakespeare nostro contemporaneo Jan Kott

Paperback

5 117 Ft

El Papado : breve historia del pontificado Kalyan

Paperback

6 366 Ft

Die Wahrheit im Morgenlicht Ernest Hemingway

Paperback

5 915 Ft

Ruhelose Suche nach dem Gluck H. Ardjah

Paperback

2 060 Ft

Carnets Russes (inédits de 1896) par Pierre MORANE - historien de la Russie ancienne et chroniqueur OGERAU-SOLACROUP

Paperback

12 480 Ft

Gauloises Pan

Paperback

9 181 Ft

ABBA - Die Diskographie Jean-Marie Potiez

Hardback

6 171 Ft

Unternehmensteuerreform 2008 und ihre Konsequenzen Barbara Schlickenrieder

Paperback

16 093 Ft

My Fuzzy friends Koala

Toy

18 575 Ft

Schwarze Padagogik in der Geschichte der Erziehung Andrea Thobe

Paperback

5 901 Ft

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.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Symbolic Rewriting Techniques

Author Manuel Bronstein, Johannes Grabmeier, Volker Weispfenning

Language

English

Binding Book - Hardback

Date of issue 2013

Number of pages 288

EAN 9783764359010

Libristo code 01716359

Publishers Springer, Berlin

Weight 654

Dimensions 163 x 240 x 20

You might also be interested in

Attribution of Advanced Persistent Threats Timo Steffens

Hardback

36 700 Ft

Sweet Abigail: A Story of Friendship, Betrayal and Love Gabriela Gotay

Paperback

2 768 Ft

How Firm a Foundation? An Exegetical and Historical Critique of the "Ethical Perspective of [Christian] Reconstructionism" Presented in Theonomy in Ch Timothy R. Cunningham

Paperback

8 986 Ft