skip to main content

Sair
Identificação

Idioma:

Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5 2004 proceedings

International Conference on Rewriting Techniques and Applications (15th 2004 Aachen, Germany) Vincent van Oostrom 1966

Berlin Springer New York, NY c2004

Acesso online. A biblioteca também possui exemplares impressos.

Enviar para

Título:
Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5 2004 proceedings
Autor: International Conference on Rewriting Techniques and Applications (15th 2004 Aachen, Germany)
Vincent van Oostrom 1966
Assuntos: Rewriting systems (Computer science) -- Congresses; Computer programming -- Congresses; Algorithms -- Congresses; Algebra ische logica; Bewijstheorie; Specificatie; Computermethoden; TEORIA DA COMPUTAÇÃO (CONGRESSOS); LINGUAGENS FORMAIS (CONGRESSOS); Algorithmes -- Congr es; Programmation (Informatique) -- Congr es; R e ecriture, Syst emes de (Informatique) -- Congr es; Syst eme de r e ecriture; Algorithme; Reduktionssystem; Aachen (2004); Kongress
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 3091
Editor: Berlin Springer New York, NY
Data de criação/publicação: c2004
Formato: x, 311 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento