dblp.uni-trier.dewww.uni-trier.de

Eugenio Roanes-Macías

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
10EEEugenio 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
9EEEugenio 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
8EEEugenio 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
7EEEugenio 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
6EEEugenio 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
5EEEugenio 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
4EEEugenio 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

Coauthor Index

1A. Aparicio [8]
2R. García [8]
3Luis M. Laita [1] [2] [3] [6] [7] [8] [10]
4Luis de Ledesma [1]
5E. López-Vidriero [7]
6E. López-Vidriero Jr. [7]
7Victor Maojo [7]
8Eugenio Roanes-Lozano [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)