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

Rewriting Techniques and Applications

Name: Rewriting Techniques and Applications
Brand: Springer, Berlin
SKU: 02092636
Price: 20372 HUF
Availability: InStock
Author: Tobias Nipkow
ISBN: 9783540643012

9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings

Tobias Nipkow

Language

English

Book Paperback

Libristo code: 02092636

Publishers Springer, Berlin, November 1997

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Tech... Full description

Libristo code: 02092636

136 b

20 372 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Avec un grand pouvoir vient une grande responsabilité. Et pour A.I. Doctor ? Chang Rok Jeong

Paperback

10 987 Ft

Dise?o e implementación de un acoplador direccional de microlínea Héctor Bastidas Vallejo

Paperback

31 076 Ft

La herencia de Darwin : la evolución en nuestra visión del mundo Chris Buskes

Paperback

12 822 Ft

David Maria Turoldo. Vita di un poeta ribelle Mario Lancisi

Paperback

11 847 Ft

Saisissants pop-up - Océan (NE) David Hawcock

Hardback

5 750 Ft

Ersatzgesetzgeber oder nicht? Die problematische Stellung des Bundesverfassungsgerichts im politischen System der Bundesrepublik Deutschland Stefan Wagner

Paperback

15 976 Ft

Genfer Novellen Rudolf Töpffer

Paperback

4 655 Ft

Schneider - Arzneidrogen Theodor Dingermann

Paperback

22 954 Ft

Considérations sur l'asthme Ch. Viguerie

Paperback

4 292 Ft

MusiX 2. Testgenerator (CD-ROM und Audio-CD). Ausgabe Deutschland und Bayern Markus Detterbeck

Digital CD

21 167 Ft

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with the assistance of 113 additional referees. The book covers all current aspects of rewriting including rewriting systems, term rewriting, string rewriting, theorem proving, resolution, normalization, unification, equational logics, lambda calculus, constraint solving, and functional programming.