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øger - Springer-Verlag Berlin and Heidelberg Gm - 9783540643012 - 11. marts 1998
Ved uoverensstemmelse mellem cover og titel gælder titel

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
Kč 1.452

Bestilles fra fjernlager

Forventes klar til forsendelse 9. - 15. dec.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 11. marts 1998
ISBN13 9783540643012
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 346
Mål 156 × 234 × 18 mm   ·   503 g
Sprog Tysk  
Klipper/redaktør Nipkow, Tobias
Vis alle

Mere med Tobias Nipkow

Se alt med Tobias Nipkow ( f.eks. Paperback Bog og Hardcover bog )