Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (4th International Workshop, Ctrs 94, Jerusalem, Israel, July 13-15, 1994. Proceedings) - Lecture Notes in Computer Science - Nachum Dershowitz - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540603818 - 22. september 1995
Ved uoverensstemmelse mellem cover og titel gælder titel

Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (4th International Workshop, Ctrs 94, Jerusalem, Israel, July 13-15, 1994. Proceedings) - Lecture Notes in Computer Science

Nachum Dershowitz

Pris
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 21. - 27. 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

Conditional and Typed Rewriting Systems: 4th International Workshop, Ctrs-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (4th International Workshop, Ctrs 94, Jerusalem, Israel, July 13-15, 1994. Proceedings) - Lecture Notes in Computer Science

These conference proceedings report the research advances in the area of rewriting, in general achieved since the preceding workshop, held in 1992. The topics addressed include conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, and combinator-based languages.

384 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 22. september 1995
ISBN13 9783540603818
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 384
Mål 156 × 234 × 20 mm   ·   548 g
Sprog Tysk  
Klipper/redaktør Dershowitz, Nachum
Klipper/redaktør Lindenstrauss, Naomi
Vis alle

Mere med Nachum Dershowitz

Se alt med Nachum Dershowitz ( f.eks. Paperback Bog og Hardcover bog )