
Conte aos seus amigos sobre este item:
Term Rewriting Systems - Cambridge Tracts in Theoretical Computer Science
Terese
Term Rewriting Systems - Cambridge Tracts in Theoretical Computer Science
Terese
A comprehensive 2003 treatment of term rewriting systems from an elementary to an advanced level. Much of this material appeared here for the first time in book form. Ideal for teaching or research, it features numerous exercises with selected solutions on the web, an extensive bibliography and a chapter on applications.
908 pages, 273 b/w illus.
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 20 de março de 2003 |
ISBN13 | 9780521391153 |
Editoras | Cambridge University Press |
Páginas | 908 |
Dimensões | 292 × 227 × 59 mm · 2,50 kg |
Idioma | English |
Ver tudo de Terese ( por exemplo LP e Hardcover Book )