TEST - Catálogo BURRF		    

Su búsqueda retornó 5 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. por
  • Carnielli, Walter [autor]
  • Coniglio, Marcelo [autor]
  • Gabbay, Dov M [autor]
  • Gouveia, Paula [autor]
  • Sernadas, Cristina [autor]
  • SpringerLink (Servicio en línea)
Series Applied Logic Series ; 35
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2008
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
Hybrid Logic and its Proof-Theory / by Torben Braüner. por
  • Braüner, Torben [autor]
  • SpringerLink (Servicio en línea)
Series Applied Logic Series ; 37
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2011
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
3.
A Modern Perspective on Type Theory : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. por
  • Kamareddine, Fairouz [autor]
  • Laan, Twan [autor]
  • Nederpelt, Rob [autor]
  • SpringerLink (Servicio en línea)
Series Applied Logic Series ; 29
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2005
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
4.
Proof Theory for Fuzzy Logics / by George Metcalfe, Nicola Olivetti, Dov Gabbay. por
  • Metcalfe, George [autor]
  • Olivetti, Nicola [autor]
  • Gabbay, Dov [autor]
  • SpringerLink (Servicio en línea)
Series Applied Logic Series ; 36
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 2009
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
5.
Reasoning Robots : The Art and Science of Programming Robotic Agents / by Michael Thielscher. por
  • Thielscher, Michael [autor]
  • SpringerLink (Servicio en línea)
Series Applied Logic Series ; 33
Tipo de material: Texto Texto; Formato: disponible en línea remoto; Forma literaria: No es ficción
Editor: Dordrecht : Springer Netherlands, 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