Rewriting Techniques and Applications: 20th International Conference, Rta 2009, Bras?lia, Brazil, June 29 - July 1, 2009 Proceedings (20th International Conference, Rta 2009 Brasilia, Brazil, June 29 - July 1, 2009 Proceedings)

Name: Rewriting Techniques and Applications: 20th International Conference, Rta 2009, Bras?lia, Brazil, June 29 - July 1, 2009 Proceedings (20th International Conference, Rta 2009 Brasilia, Brazil, June 29 - July 1, 2009 Proceedings)
Author: Treinen, Ralf
ISBN: 9783642023477

Penulis: Treinen, Ralf
Penerbit: Springer
Diterbitkan: 20210101
ISBN: 9783642023477
Kawasan pendaftaran ISBN: Kawasan berbahasa Jerman (ISBN 978-3)

교보문고

YES24

알라딘

Statground mungkin menerima komisen apabila anda membeli melalui pautan afiliasi.

Huraian

This book constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications, RTA 2009, held in Brasilia, Brazil, during June 29 - July 1, 2009. The 22 revised full papers and four system descriptions presented were carefully reviewed and selected from 59 initial submissions.