skip to main content
Idioma:
Resultados 1 2 next page
Mostrar solo
Refinado por: autor: International Conference on Rewriting Techniques and Applications eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Material Type:
Libro 		Añadir a Mi Portal

Rewriting techniques and applications 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings

International Conference on Rewriting Techniques and Applications (12th. 2001 Utrecht, Netherlands) Aart Middeldorp 1963-

Berlin Springer New York c2001

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2051 ) y otras localizaciones(Obténgalo)

2
Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
Material Type:
Libro 		Añadir a Mi Portal

Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings

Tobias Nipkow 1958-; International Conference on Rewriting Techniques and Applications (9th 1998 Tsukuba-shi, Japan)

Berlin Springer New York 1998

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1379 ) y otras localizaciones(Obténgalo)

3
Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Material Type:
Libro 		Añadir a Mi Portal

Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Leo Bachmair; International Conference on Rewriting Techniques and Applications (11th 2000 Norwich, England)

Berlin Springer New York c2000

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1833 ) y otras localizaciones(Obténgalo)

4
Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
Material Type:
Libro 		Añadir a Mi Portal

Rewriting techniques and applications 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings

Paliath Narendran 1955-; M Rusinowitch (Michael); International Conference on Rewriting Techniques and Applications (10th 1999 Trento, Italy)

Berlin Springer New York c1999

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1631 ) y otras localizaciones(Obténgalo)

5
Rewriting techniques and applications 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
Rewriting techniques and applications 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
Material Type:
Libro 		Añadir a Mi Portal

Rewriting techniques and applications 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings

Hubert Comon; International Conference on Rewriting Techniques and Applications (8th 1997 Sitges, Spain)

Berlin Springer New York c1997

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1232 ) y otras localizaciones(Obténgalo)

6
Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedings
Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedings
Material Type:
Libro 		Añadir a Mi Portal

Term rewriting and applications 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14 2006 : proceedings

International Conference on Rewriting Techniques and Applications (17th 2006 Seattle, Wash.) Frank Pfenning

Berlin Springer New York 2006

Acceso en línea. La biblioteca tiene también copias físicas.

7
Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedings
Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 proceedings
Material Type:
Libro 		Añadir a Mi Portal

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

Disponible en IME - Inst. Matemática e Estatística    (S L471c v.4533 )(Obténgalo)

8
Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
Material Type:
Libro 		Añadir a Mi Portal

Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings

International Conference on Rewriting Techniques and Applications (16th 2005 Nara-ken, Japan) Jürgen Giesl

Berlin Springer New York c2005

Acceso en línea. La biblioteca tiene también copias físicas.

9
Rewriting techniques and applications 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Rewriting techniques and applications 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Material Type:
Libro 		Añadir a Mi Portal

Rewriting techniques and applications 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings

International Conference on Rewriting Techniques and Applications (13th 2002 Copenhagen, Denmark) Sophie Tison

Berlin Springer New York c2002

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2378 ) y otras localizaciones(Obténgalo)

10
Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5 2004 proceedings
Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3-5 2004 proceedings
Material Type:
Libro 		Añadir a Mi Portal

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

Acceso en línea. La biblioteca tiene también copias físicas.

Resultados 1 2 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Mostrar solo

  1. Recursos en línea (3)

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere