-
Bib ID# 35812
ISBN: 9783540734499
UPC: 10.1007/978-3-540-73449-9
Title: Term Rewriting and Applications18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
Author: Baader, Franz.
Publication Info:
Item Type: Language material