Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer Science)
暫譯: 術語重寫與應用：第18屆國際會議 RTA 2007，法國巴黎，2007年6月26-28日，會議錄（計算機科學講義）

***

出版商: Springer
出版日期: 2007-06-21
售價: $2,420
貴賓價: 9.5 折 $2,299
語言: 英文
頁數: 436
裝訂: Paperback
ISBN: 3540734473
ISBN-13: 9783540734475
相關分類: Computer-Science

海外代購書籍(需單獨結帳)

商品描述

The 18th International Conference on Rewriting Techniques and Applications, held in Paris, France in June 2007, featured presentations and discussions centering on some of the latest advances in the field. This volume presents the proceedings from that meeting. Papers cover current research on all aspects of rewriting, including applications, foundational issues, frameworks, implementations, and semantics.