TEST - Catálogo BURRF		    

Su búsqueda retornó 2 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings / edited by Jürgen Giesl, Reiner Hähnle. por
  • Giesl, Jürgen [editor.]
  • Hähnle, Reiner [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6173
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings / edited by Jürgen Giesl. por
  • Giesl, Jürgen [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3467
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
Páginas
Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha