Symbolic Rewriting Techniques
Progress in Computer Science and Applied Logic 15
Herausgegeben von Bronstein, Manuel
Grabmeier, Johannes
Weispfenning, Volker
- 出版社：Springer, Basel; Birkhäuser Basel; Birkhäuser
- 出版年月：2012年 00月
- ISBN：9783034897792
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2012. vii
- 巻数・ページ数：288 p.