TEST - Catálogo BURRF		    

Su búsqueda retornó 3 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Automated Deduction – CADE-23 : 23rd International Conference on Automated Deduction, Wroc?aw, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans. por
  • Bjørner, Nikolaj [editor.]
  • Sofronie-Stokkermans, Viorica [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6803
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
Fm 2015: formal methods : 20th international symposium, oslo, norway, june 24-26, 2015, proceedings / edited by Nikolaj Bjørner, Frank de Boer. por
  • Bjørner, Nikolaj [editor.]
  • de Boer, Frank [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 9109
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Cham : Springer International Publishing : Springer, 2015
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
3.
Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov. por
  • Bjørner, Nikolaj [editor.]
  • Voronkov, Andrei [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7180
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
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