Idioma:

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

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

Título:
Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedings
Autor: International Conference on Rewriting Techniques and Applications (18th 2007 Paris, France)
Franz Baader
Assuntos: Rewriting systems (Computer science) -- Congresses; Computer programming -- Congresses; Algorithms -- Congresses; Termersetzungssystem; Reduktionssystem; TEORIA DA COMPUTAÇÃO (CONGRESSOS); LINGUAGENS FORMAIS (CONGRESSOS); Paris <; 2007>
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 4533
Editor: Berlin Springer New York
Data de criação/publicação: c2007
Formato: xii, 418 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 3 Avançar Ir para próxima página