Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science - Tobias Nipkow - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540643012 - 11 mars 1998
Om omslag och titel inte matchar är det titeln som gäller

Tobias Nipkow
Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science

Pris
SEK 549

Beställningsvara

Förväntad leverans 7 - 15 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; normalization; unification; equational logistics; lambda calculus; constraint solving; and functional programming.

346 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 11 mars 1998
ISBN13 9783540643012
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 346
Mått 156 × 234 × 18 mm   ·   503 g
Språk Tyska  
Redaktör Nipkow, Tobias

Fler produkter med Tobias Nipkow

Visa alla

Se alt med Tobias Nipkow ( t.ex. Pocketbok och Inbunden Bok )