Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996, Proceedings (International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996 - Proceedings) - Lecture Notes in Computer Scie - Harald Ganzinger - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540614647 - 1. juli 1996
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996, Proceedings (International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996 - Proceedings) - Lecture Notes in Computer Scie

Harald Ganzinger

Pris
Íkr 6.799

Bestillingsvarer

Forventes levert 5. - 13. nov
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996, Proceedings (International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996 - Proceedings) - Lecture Notes in Computer Scie

The 27 papers in this volume cover topics including analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, and symbolic and algebraic computation.

440 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 1. juli 1996
ISBN13 9783540614647
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 440
Mål 156 × 234 × 23 mm   ·   635 g
Språk Tysk  
Redaktør Ganzinger, Harald
Vis alle

Mer med Harald Ganzinger

Se alt med Harald Ganzinger ( f.eks. Pocketbok )