Recomienda este artículo a tus amigos:
Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996, Proceedings (International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996 - Proceedings) - Lecture Notes in Computer Scie Harald Ganzinger
Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996, Proceedings (International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996 - Proceedings) - Lecture Notes in Computer Scie
Harald Ganzinger
The 27 papers in this volume cover topics including analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, and symbolic and algebraic computation.
440 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 1 de julio de 1996 |
| ISBN13 | 9783540614647 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 440 |
| Dimensiones | 156 × 234 × 23 mm · 635 g |
| Lengua | Alemán |
| Editor | Ganzinger, Harald |
Mas por Harald Ganzinger
Mostrar todoMere med samme udgiver
Ver todo de Harald Ganzinger ( Ej. Paperback Book )