Fortell venner om denne varen:
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
NOK 559
Bestillingsvarer
Forventes levert 24. nov - 2. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
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
Nachum Dershowitz
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 22. september 1995 |
| ISBN13 | 9783540603818 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 384 |
| Mål | 156 × 234 × 20 mm · 548 g |
| Språk | Tysk |
| Redaktør | Dershowitz, Nachum |
| Redaktør | Lindenstrauss, Naomi |
Vis alle
Mer med Nachum Dershowitz
![Cover for Nachum Dershowitz · Language, Culture, Computation: Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III - Lecture Notes in Computer Science (Pocketbok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/267/9783642453267.jpg?nachum-dershowitz-2014-language-culture-computation-computational-linguistics-and-linguistics-essays-dedicated-to-yaacov-choueka-on-the-occasion-of-his-75-birthday-part-iii-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1556245465)
![Cover for Nachum Dershowitz · Language, Culture, Computation: Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I - Information Systems and Applications, incl. Internet / Web, and HCI (Pocketbok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/205/9783642453205.jpg?nachum-dershowitz-2014-language-culture-computation-computing-theory-and-technology-essays-dedicated-to-yaacov-choueka-on-the-occasion-of-his-75-birthday-part-i-information-systems-and-applications-incl-internet-web-and-hci-pocketbok&class=scaled&v=1556245492)
![Cover for Nachum Dershowitz · Language, Culture, Computation: Computing for the Humanities, Law, and Narratives: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part II - Lecture Notes in Computer Science (Pocketbok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/236/9783642453236.jpg?nachum-dershowitz-2014-language-culture-computation-computing-for-the-humanities-law-and-narratives-essays-dedicated-to-yaacov-choueka-on-the-occasion-of-his-75-birthday-part-ii-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1556245492)
![Cover for Nachum Dershowitz · Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/586/9783540755586.jpg?nachum-dershowitz-2007-logic-for-programming-artificial-intelligence-and-reasoning-14th-international-conference-lpar-2007-yerevan-armenia-october-15-19-2007-proceedings-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1556245475)
Se alt med Nachum Dershowitz ( f.eks. Pocketbok og Innbunden bok )