TEST - Catálogo BURRF
   

Su búsqueda retornó 2 resultados.

Ordenar
Resultados
1.
Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / edited by Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge. por
  • Jeuring, Johan [editor.]
  • Campbell, John A [editor.]
  • Carette, Jacques [editor.]
  • Reis, Gabriel [editor.]
  • Sojka, Petr [editor.]
  • Wenzel, Makarius [editor.]
  • Sorge, Volker [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7362
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Disponibilidad: No hay ítems disponibles.

2.
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel. por
  • Berghofer, Stefan [editor.]
  • Nipkow, Tobias [editor.]
  • Urban, Christian [editor.]
  • Wenzel, Makarius [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5674
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