Search the dblp DataBase

Publications of Author

1. 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]
   
2. Eugenio Roanes-Lozano, E. López-Vidriero Jr., Luis M. Laita, E. López-Vidriero, Victor Maojo, Eugenio Roanes-Macías
   An Expert System on Detection, Evaluation and Treatment of Hypertension. [Citation Graph (0, 0)][DBLP]
   AISC, 2004, pp:251-264 [Conf]
   
3. Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
   An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. [Citation Graph (0, 0)][DBLP]
   AISMC, 1996, pp:71-86 [Conf]
   
4. Eugenio Roanes-Macías, Eugenio Roanes-Lozano
   Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem. [Citation Graph (0, 0)][DBLP]
   AISC, 2000, pp:157-173 [Conf]
   
5. Eugenio Roanes-Lozano, R. García, Eugenio Roanes-Macías, A. Aparicio, Luis M. Laita
   Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies. [Citation Graph (0, 0)][DBLP]
   CASC, 2005, pp:344-354 [Conf]
   
6. Eugenio Roanes-Macías, Eugenio Roanes-Lozano
   Geometric Determination of the Spheres Which Are Tangent to Four Given Ones. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Science (2), 2002, pp:52-61 [Conf]
   
7. Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
   An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra. [Citation Graph (0, 0)][DBLP]
   IEA/AIE (Vol. 2), 1998, pp:687-696 [Conf]
   
8. Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macías
   An accelerated-time simulation of departing passengers' flow in airport terminals. [Citation Graph (0, 0)][DBLP]
   Mathematics and Computers in Simulation, 2004, v:67, n:1-2, pp:163-172 [Journal]
   
9. 
   A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry. [Citation Graph (, )][DBLP]
   
   
10. 
    A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple. [Citation Graph (, )][DBLP]
    
    
11. 
    A Groebner bases-based approach to backward reasoning in rule based expert systems. [Citation Graph (, )][DBLP]