Anais de Congresso

Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Na minha lista:
Detalhes bibliográficos
Autor Corporativo: International Conference on Rewriting Techniques and Applications
Outros Autores: Bachmair, Leo (Editor, ed.)
Formato: Anais de Congresso
Idioma:inglês
Publicado em: Berlin ; Springer, c2000.
coleção:Lecture notes in computer science (Springer).
Assuntos:
Descrição
Descrição do item:Actas de la 11a. Conferencia Internacional de Técnicas y Aplicaciones de Reescritura.
Descrição Física:x, 273 p. : il. ; 24 cm.
Bibliografia:Incluye referencias bibliográficas e índice.
ISBN:354067778X