Conte aos seus amigos sobre este item:
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
Preço
R$ 313,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 11 - 17 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 22 de setembro de 1995 |
| ISBN13 | 9783540603818 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 384 |
| Dimensões | 156 × 234 × 20 mm · 548 g |
| Idioma | German |
| Editor | Dershowitz, Nachum |
| Editor | Lindenstrauss, Naomi |
Mostrar tudo
Mais por 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)
Ver tudo de Nachum Dershowitz ( por exemplo Paperback Book e Hardcover Book )