An edition of Term Rewriting and Applications (2006)
Term Rewriting and Applications
17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings (Lecture Notes in Computer Science)
By Frank Pfenning
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
September 14, 2006
Publisher
Springer
Language
eng
Pages
415
Description: