전남대학교 중앙도서관

Meta-Petro: An Expert System for Training Undergraduates in Metamorphic Rocks Recognition and Classification Using Photomicrographies

전자책

issue: Computer Algebra in Scientific Computing : 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings. 3718:344-354
Author: Roanes-Lozano, E.^Aff18
García, R.^Aff19
Roanes-Macías, E.^Aff18
Aparicio, A.^Aff19
Laita, L. M.^Aff20
DB Label: Database : Springer Nature eBooks

An Expert System on Detection, Evaluation and Treatment of Hypertension

전자책

issue: Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings. 3249:251-264
Author: Roanes-Lozano, E.^Aff20
López-Vidriero, E., Jr.^Aff21
Laita, L. M.^Aff22
López-Vidriero, E.^{Aff23, Aff24}
Maojo, V.^Aff22
Roanes-Macías, E.^Aff20
DB Label: Database : Springer Nature eBooks

An Outline of an Expert System for Diagnosis and Treatment of Bronchogenic Carcinoma

전자책

issue: Medical Data Analysis : 4th International Symposium, ISMDA 2003, Berlin, Germany, October 9-10, 2003. Proceedings. 2868:118-126
Author: Rodríguez-Daza, I.^Aff7
Laita, L. M.^Aff7
Roanes-Lozano, E.^Aff8
Crespo-Alonso, A. M.^Aff9
Maojo, V.^Aff7
de Ledesma, L.^Aff7
Laita, L.^Aff10
DB Label: Database : Springer Nature eBooks

A Methodology for Constructing Expert Systems for Medical Diagnosis

전자책

issue: Medical Data Analysis : Second International Symposium, ISMDA 2001 Madrid, Spain, October 8–9, 2001 Proceedings. 2199:146-152
Author: Laita, L. M.^Aff6
González-Páez, G.^Aff6
Roanes-Lozano, E.^Aff7
Maojo, V.^Aff6
de Ledesma, L.^Aff6
Laita, L.^Aff8
DB Label: Database : Springer Nature eBooks

A Method of Logic Deduction and Verification in KBS Using Positive Integers

전자책

issue: Computer Algebra in Scientific Computing CASC 2001 : Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001. :461-475
Author: Roanes-Lozano, E.^Aff4
Roanes-Macías, E.^Aff4
Laita, L. M.^Aff3
DB Label: Database : Springer Nature eBooks

An Algebraic Approach to KBS. Application to Computer Network Selection

전자책

issue: Research and Development in Intelligent Systems XVI : Proceedings of ES99, the Nineteenth SGES International Conference on Knowledge-Based Systems and Applied Artificial Intelligence, Cambridge, December 1999. :315-327
Author: Laita, L. M.^Aff4
Roanes-Lozano, E.^Aff5
Henares, M. A.^Aff6
Esteban, A.^Aff6
de Ledesma, L.^Aff4
Roanes-Macías, E.^Aff5
DB Label: Database : Springer Nature eBooks

Geometric Interpretation of Strong Inconsistency in Knowledge Based Systems

전자책

issue: Computer Algebra in Scientific Computing CASC’99 : Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, Munich, May 31 – June 4, 1999. :349-363
Author: Roanes-Lozano, E.^Aff4
Roanes-Macías, E.^Aff4
Laita, L. M.^Aff5
DB Label: Database : Springer Nature eBooks

Inference and verification in Medical Appropriateness Criteria using Gröbner Bases

전자책

issue: Artificial Intelligence and Symbolic Computation : International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings. 1476:183-194
Author: Laita, L. M.^Aff1
Roanes-Lozano, E.^Aff2
Maojo, V.^Aff1
DB Label: Database : Springer Nature eBooks