TEST - Catálogo BURRF
   

Su búsqueda retornó 2 resultados.

Ordenar
Resultados
1.
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings / edited by Michael Kaminski, Simone Martini. por
  • Kaminski, Michael [editor.]
  • Martini, Simone [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5213
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.

2.
Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner. por
  • Grumberg, Orna [editor.]
  • Kaminski, Michael [editor.]
  • Katz, Shmuel [editor.]
  • Wintner, Shuly [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5533
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Disponibilidad: No hay ítems disponibles.

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