( en | de | ru )

 

Disambiguation of "de Ledesma, Luis"

Author of the publication

copydeleteadd this publication to your clipboard
A Computer Algebra Approach to Relational Systems Using Gröbner Bases.

, , , , and . RelMiCS, volume 2561 of Lecture Notes in Computer Science, page 124-133. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Werner Luis

Pia Luislampe

Mathieu Luisier

Werner Luis

Werner Luis

 

Other publications of authors with the same name

A Rule-Based Knowledge System for Diagnosis of Mental Retardation., , , , and . ISBMDA, volume 3337 of Lecture Notes in Computer Science, page 67-78. Springer, (2004)A Computer Algebra Approach to Relational Systems Using Gröbner Bases., , , , and . RelMiCS, volume 2561 of Lecture Notes in Computer Science, page 124-133. Springer, (2001)An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma., , , , , , and . ISMDA, volume 2868 of Lecture Notes in Computer Science, page 118-126. Springer, (2003)A Formal Study of Consistency of KBSs., , and . EUROVAV, page 31-38. Logica Ltd., Cambridge, UK, (1991)A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis., , , , , , and . AISC, volume 2385 of Lecture Notes in Computer Science, page 38-50. Springer, (2002)An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus., , , and . AISMC, volume 958 of Lecture Notes in Computer Science, page 255-263. Springer, (1994)George Boole, a Forerunner of Symbolic Computation., , , and . AISC, volume 1930 of Lecture Notes in Computer Science, page 1-19. Springer, (2000)Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria., , , and . EUROVAV, page 53-65. Kluwer, (1999)A Methodology for Constructing Expert Systems for Medical Diagnosis., , , , , and . ISMDA, volume 2199 of Lecture Notes in Computer Science, page 146-152. Springer, (2001)A Formal Study of Forward Reasoning Consistency on KBSs., , , and . EUROVAV, page 209-216. Universidad Politécnica de Madrid, (1993)Sponsored by: Commission of the European Communities, Comisión Interministral de Ciencia y Tecnología; Organized by: Universitat de les Illes Balears, Universidad Politécnica de Madrid, Institut d'Investigació en Intelligencia Artificial.