Luis M. Laita
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
2
Active years
1994–2008
Best venue rank
Australasian
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | AISC | A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple. | Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macas |
| 2005 | CASC | Untitled record | Eugenio Roanes-Lozano, R. Garca, Eugenio Roanes-Macas, Alfredo Aparicio Yage, Luis M. Laita |
| 2004 | AISC | An Expert System on Detection, Evaluation and Treatment of Hypertension. | Eugenio Roanes-Lozano, E. Lpez-Vidriero Jr., Luis M. Laita, E. Lpez-Vidriero, Victor Maojo, Eugenio Roanes-Macas |
| 2002 | AISC | A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis. | Begoa Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma, Jos Crespo, Laura Laita |
| 2001 | CASC | A Method of Logic Deduction and Verification in KBS Using Positive Integers. | Eugenio Roanes-Lozano, Eugenio Roanes-Macas, Luis M. Laita |
| 2000 | AISC | George Boole, a Forerunner of Symbolic Computation. | Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori |
| 1999 | CASC | Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems. | Eugenio Roanes-Lozano, Eugenio Roanes-Macas, Luis M. Laita |
| 1998 | AISC | Inference and Verification in Medical Appropriateness Criteria Using Grbner Bases. | Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo |
| 1996 | AISC | An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. | Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macas |
| 1994 | AISC | An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus. | Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macas |