Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedings

International Conference on Rewriting Techniques and Applications (18th 2007 Paris, France) Franz Baader

Berlin Springer New York c2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4533 )(Acessar)