TEST - Catálogo BURRF
   

Su búsqueda retornó 3 resultados.

Ordenar
Resultados
1.
Dynamic Epistemic Logic / by Hans Ditmarsch, Wiebe Hoek, Barteld Kooi. por
  • Ditmarsch, Hans [autor]
  • Hoek, Wiebe [autor]
  • Kooi, Barteld [autor]
  • SpringerLink (Servicio en línea)
Series Studies In Epistemology, Logic, Methodology, And Philosophy Of Science ; 337
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2007
Disponibilidad: No hay ítems disponibles.

2.
Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / edited by Hans Ditmarsch, Jérôme Lang, Shier Ju. por
  • Ditmarsch, Hans [editor.]
  • Lang, Jérôme [editor.]
  • Ju, Shier [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6953
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Disponibilidad: No hay ítems disponibles.

3.
Tools for Teaching Logic : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano. por
  • Blackburn, Patrick [editor.]
  • Ditmarsch, Hans [editor.]
  • Manzano, María [editor.]
  • Soler-Toscano, Fernando [editor.]
  • SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 6680
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
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