-
Bib ID# 17622
ISBN: 9783540368359
UPC: 10.1007/11805618
Title: Term Rewriting and Applications17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings /
Author: Pfenning, Frank.
Publication Info:
Item Type: Language material