Manuel Enciso García-Oliveros
Instituciones
Área de conocimientoPáginas webIdentificadores de autorPeriodo de publicación recogido
|
|
|
Antonio Jesús Guevara Plaza
Pablo Cordero Ortega
Ángel Mora Bonilla
Vilem Vychodil
Fernando Benito Picazo
Carlos Rossi
Francisco Pérez Gámez
L. Gómez
M. Elguezabal
Gabriel Aguilera Venegas
Inmaculada Pérez de Guzmán Molina
Paolo Rossi
Alfonso Cerezo Medina
Aitziber Mugarra Elorriaga
|
|
MathSciNet
dblp Computer science bibliography
Dimensions
Google Scholar
OpenAlex
ORCID
ResearchGate
ResearcherID
Scopus
Semantic Scholar
Zentralblatt MATH-
Artículos de revistas
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-OliverosEstudios 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
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
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
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
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
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
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
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
Un marco semántico general para la Lógica de Simplificación
Pablo Cordero Ortega
, Manuel Enciso García-Oliveros, Ángel Mora Bonilla , Vilem VychodilXVIII 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-383A 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-210Una 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
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). 
-
Tesis dirigidas
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). De la información al conocimiento. Aplicaciones basadas en implicaciones y computación paralela
Tesis doctoral dirigida por Carlos Rossi (dir. tes.)
, Manuel Enciso García-Oliveros (dir. tes.). Universidad de Málaga (2019). Dependencias funcionales, ideal-operadores no deterministas y operadores de sustitución
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). Lógica temporal de intervalos, formalización de diagramas de estados
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). Ideales y filtros de implicantes/implicados en lógicas temporales con tiempo lineal y discreto
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).
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.
