| 2008 |
|---|
| 10 | EE | Eugenio Roanes-Lozano,
Luis M. Laita,
Eugenio Roanes-Macías:
A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple.
AISC/MKM/Calculemus 2008: 170-183 |
| 2006 |
|---|
| 9 | EE | Eugenio Roanes-Macías,
Eugenio Roanes-Lozano:
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry.
Automated Deduction in Geometry 2006: 171-188 |
| 2005 |
|---|
| 8 | EE | 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.
CASC 2005: 344-354 |
| 2004 |
|---|
| 7 | EE | 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.
AISC 2004: 251-264 |
| 6 | EE | Eugenio Roanes-Lozano,
Luis M. Laita,
Eugenio Roanes-Macías:
An accelerated-time simulation of departing passengers' flow in airport terminals.
Mathematics and Computers in Simulation 67(1-2): 163-172 (2004) |
| 2002 |
|---|
| 5 | EE | Eugenio Roanes-Macías,
Eugenio Roanes-Lozano:
Geometric Determination of the Spheres Which Are Tangent to Four Given Ones.
International Conference on Computational Science (2) 2002: 52-61 |
| 2000 |
|---|
| 4 | EE | Eugenio Roanes-Macías,
Eugenio Roanes-Lozano:
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem.
AISC 2000: 157-173 |
| 1998 |
|---|
| 3 | | Eugenio Roanes-Lozano,
Luis M. Laita,
Eugenio Roanes-Macías:
An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra.
IEA/AIE (Vol. 2) 1998: 687-696 |
| 1996 |
|---|
| 2 | | Eugenio Roanes-Lozano,
Luis M. Laita,
Eugenio Roanes-Macías:
An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem.
AISMC 1996: 71-86 |
| 1994 |
|---|
| 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.
AISMC 1994: 255-263 |
