Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science - Tobias Nipkow - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540643012 - 11 de março de 1998
Caso a capa e o título não sejam correspondentes, considere o título como correto

Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science

Tobias Nipkow

Preço
R$ 315,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 4 - 10 de nov
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings - Lecture Notes in Computer Science

A collection of 22 papers covering aspects of rewriting, including: rewriting systems; term rewriting; string rewriting; theorem proving; resolution; normalization; unification; equational logistics; lambda calculus; constraint solving; and functional programming.

346 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 11 de março de 1998
ISBN13 9783540643012
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 346
Dimensões 156 × 234 × 18 mm   ·   503 g
Idioma German  
Editor Nipkow, Tobias
Mostrar tudo

Mais por Tobias Nipkow

Ver tudo de Tobias Nipkow ( por exemplo Paperback Book e Hardcover Book )