Vinkkaa tuotetta kavereillesi:
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
Hinta
¥ 9.482
Tilattu etävarastosta
Arvioitu toimitus ke - to 3. - 11. joulu
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
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 | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | perjantai 22. syyskuuta 1995 |
| ISBN13 | 9783540603818 |
| Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
| Sivujen määrä | 384 |
| Mitta | 156 × 234 × 20 mm · 548 g |
| Kieli | Saksa |
| Toimittaja | Dershowitz, Nachum |
| Toimittaja | Lindenstrauss, Naomi |
Näytä kaikki
Lisää tuotteita 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 (Paperback Book) [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-paperback-book&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 (Paperback Book) [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-paperback-book&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 (Paperback Book) [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-paperback-book&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 (Paperback Book) [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-paperback-book&class=scaled&v=1556245475)
Katso kaikki joka sisältää Nachum Dershowitz ( Esim. Paperback Book Ja Hardcover Book )