Manuel Enciso García-Oliveros

• Artículos de revistas (8)
• Colaboraciones en obras colectivas (3)
• Tesis (1)
• Tesis dirigidas (5)

• Artículos de revistas

  • Seleccionado

    Big Data como fuente de conocimiento turístico: Especial referencia al Open Data y al Big Data Social

    Alfonso Cerezo Medina, Antonio Jesús Guevara Plaza , Manuel Enciso García-Oliveros

    Estudios Turísticos, ISSN-e 3020-6723, ISSN 0423-5037, Nº. 213-214, 2017 (Ejemplar dedicado a: Documentación para el conocimiento turístico), págs. 185-204

    • Resumen
    • Texto completo
    
  • Seleccionado

    A new closure algorithm based in logic: SLFD-Closure versus classical closures

    Ángel Mora Bonilla , Gabriel Aguilera Venegas , Manuel Enciso García-Oliveros, Pablo Cordero Ortega , Inmaculada Pérez de Guzmán Molina

    Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, ISSN-e 1988-3064, ISSN 1137-3601, Vol. 10, Nº. 31, 2006, págs. 31-40

    • Resumen
    • Texto completo
    
  • Seleccionado

    Una forma normal temporal independiente del método de deducción

    Carlos Rossi , Manuel Enciso García-Oliveros, Inmaculada Pérez de Guzmán Molina

    Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, ISSN-e 1988-3064, ISSN 1137-3601, Vol. 8, Nº. 23, 2004, págs. 27-45

    • Resumen
    • Texto completo
    
  • Seleccionado

    The role of ICA-Europe in Co-operative Development

    Manuel Enciso García-Oliveros

    Anuario de estudios cooperativos, ISSN 1130-8966, Nº 1, 2000, págs. 143-152

    • Resumen
    
  • Seleccionado

    XXXII Congreso de la Alianza Cooperativa Internacional (ACI): Septiembre de 1997, Ginebra (Suiza)

    Manuel Enciso García-Oliveros

    Anuario de estudios cooperativos, ISSN 1130-8966, Nº 1, 1997, págs. 151-160

    
  • Seleccionado

    Principio cooperativo de gestión democrática: análisis de las garantías recogidas en la legislación, en los estatutos e indicadores evaluativos para una cooperativa de Mondragón

    Aitziber Mugarra Elorriaga, Manuel Enciso García-Oliveros

    Anuario de estudios cooperativos, ISSN 1130-8966, Nº 1, 1997, págs. 229-250

    
  • Seleccionado

    La economía social en la legislación española y autonómica: análisis de las cooperativas y las sociedades laborales

    Manuel Enciso García-Oliveros, M. Elguezabal

    Anuario de estudios cooperativos, ISSN 1130-8966, Nº 1, 1996, págs. 329-356

    
  • Seleccionado

    XXXI Congreso de la Alianza Cooperativa Internacional (ACI): crónica de lo allí acontecido

    L. Gómez, Manuel Enciso García-Oliveros

    Anuario de estudios cooperativos, ISSN 1130-8966, Nº 1, 1995, págs. 61-70

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Un marco semántico general para la Lógica de Simplificación

    Pablo Cordero Ortega , Manuel Enciso García-Oliveros, Ángel Mora Bonilla , Vilem Vychodil

    XVIII Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA 2018): avances en Inteligencia Artificial. 23-26 de octubre de 2018 Granada, España / coord. por Francisco Herrera Triguero , Alicia Troncoso Lara , Sergio Damas Arroyo , 2018, ISBN 978-84-09-05643-9, págs. 382-383

    
  • Seleccionado

    A complete logic for fuzzy functional dependencies over t-norms

    Pablo Cordero Ortega , Manuel Enciso García-Oliveros, Ángel Mora Bonilla , Inmaculada Pérez de Guzmán Molina

    XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010: Huelva [Recurso electrónico] / coord. por Antonio Peregrín Rubio , 2010, ISBN 978-84-92944-02-6, págs. 205-210

    
  • Seleccionado

    Una experiencia de implantación del trabajo cooperativo en el aula para Ingeniería Informática

    Manuel Enciso García-Oliveros, Paolo Rossi

    Innovación educativa en las titulaciones de Informática en la Universidad española [Recurso electrónico] / coord. por Jacinto Mata Vázquez , José Luis Álvarez Macías , Manuel Jesús Maña López , Patricio Salmerón Revuelta , 2008, ISBN 978-84-96826-72-4, págs. 221-238

    

• Tesis

  • Seleccionado

    Lógica temporal y demostración automática de teoremas. Eficiencia y paralelismo

    Manuel Enciso García-Oliveros

    Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.) . Universidad de Málaga (1995).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Información desconocida en análisis de conceptos formales

    Francisco Pérez Gámez

    Tesis doctoral dirigida por Pablo Cordero Ortega (dir. tes.) , Manuel Enciso García-Oliveros (codir. tes.). Universidad de Málaga (2023).

    • Resumen
    • Tesis en acceso abierto en:  TESEO  RIUMA 
    
  • Seleccionado

    De la información al conocimiento. Aplicaciones basadas en implicaciones y computación paralela

    Fernando Benito Picazo

    Tesis doctoral dirigida por Carlos Rossi (dir. tes.) , Manuel Enciso García-Oliveros (dir. tes.). Universidad de Málaga (2019).

    • Resumen
    • Tesis en acceso abierto en: RIUMA
    
  • Seleccionado

    Dependencias funcionales, ideal-operadores no deterministas y operadores de sustitución

    Ángel Mora Bonilla

    Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.) , Manuel Enciso García-Oliveros (dir. tes.). Universidad de Málaga (2002).

    • Resumen
    
  • Seleccionado

    Lógica temporal de intervalos, formalización de diagramas de estados

    Carlos Rossi

    Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.) , Manuel Enciso García-Oliveros (dir. tes.). Universidad de Málaga (2001).

    • Resumen
    
  • Seleccionado

    Ideales y filtros de implicantes/implicados en lógicas temporales con tiempo lineal y discreto

    Pablo Cordero Ortega

    Tesis doctoral dirigida por Inmaculada Pérez de Guzmán Molina (dir. tes.) , Manuel Enciso García-Oliveros (dir. tes.). Universidad de Málaga (1999).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.