|
Search the dblp DataBase
Luis de Ledesma:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, L. Gozález-Sotos
A Computer Algebra Approach to Relational Systems Using Gröbner Bases. [Citation Graph (0, 0)][DBLP] RelMiCS, 2001, pp:124-133 [Conf]
- Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori
George Boole, a Forerunner of Symbolic Computation. [Citation Graph (0, 0)][DBLP] AISC, 2000, pp:1-19 [Conf]
- Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macías
An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus. [Citation Graph (0, 0)][DBLP] AISMC, 1994, pp:255-263 [Conf]
- Begoña Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, José Crespo, Laura Laita
A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis. [Citation Graph (0, 0)][DBLP] AISC, 2002, pp:38-50 [Conf]
- Luis M. Laita, Julia Couto, Luis de Ledesma
A Formal Study of Consistency of KBSs. [Citation Graph (0, 0)][DBLP] EUROVAV, 1991, pp:31-38 [Conf]
- Luis M. Laita, Luis de Ledesma, Aurora Pérez, Betty Ramírez
A Formal Study of Forward Reasoning Consistency on KBSs. [Citation Graph (0, 0)][DBLP] EUROVAV, 1993, pp:209-216 [Conf]
- Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma
Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria. [Citation Graph (0, 0)][DBLP] EUROVAV, 1999, pp:53-65 [Conf]
- Luis M. Laita, G. González-Páez, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, Laura Laita
A Methodology for Constructing Expert Systems for Medical Diagnosis. [Citation Graph (0, 0)][DBLP] ISMDA, 2001, pp:146-152 [Conf]
- I. Rodríguez-Daza, Luis M. Laita, Eugenio Roanes-Lozano, A. M. Crespo-Alonso, Victor Maojo, Luis de Ledesma, Laura Laita
An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma. [Citation Graph (0, 0)][DBLP] ISMDA, 2003, pp:118-126 [Conf]
- R. Sánchez-Morgado, Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Laura Laita
A Rule-Based Knowledge System for Diagnosis of Mental Retardation. [Citation Graph (0, 0)][DBLP] ISBMDA, 2004, pp:67-78 [Conf]
- Luis de Ledesma, Aurora Pérez, Daniel Borrajo, Luis M. Laita
A Computational Approach to George Boole's Discovery of Mathematical Logic. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1997, v:91, n:2, pp:281-307 [Journal]
- Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Jose A. Alonso
A computer algebra approach to verification and deduction in many-valued knowledge systems. [Citation Graph (0, 0)][DBLP] Soft Comput., 1999, v:3, n:1, pp:7-19 [Journal]
An Approach to Representation Changes While Executing Problem Solver Intelligent Systems. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|