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øger - Springer-Verlag Berlin and Heidelberg Gm - 9783540614647 - 1. juli 1996
Ved uoverensstemmelse mellem cover og titel gælder titel

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
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 4. - 10. nov.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 1. juli 1996
ISBN13 9783540614647
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 440
Mål 156 × 234 × 23 mm   ·   635 g
Sprog Tysk  
Klipper/redaktør Ganzinger, Harald
Vis alle

Mere med Harald Ganzinger

Se alt med Harald Ganzinger ( f.eks. Paperback Bog )