Information Technology Reference
In-Depth Information
Laita, L. M., Roanes-Lozano, E., Maojo, V.,
de Ledesma, L., & Laita, L. (2000). An expert
system for managing medical appropriateness
criteria based on computer algebra techniques.
Computers and Mathematics with Applications,
51 (5), 473-481.
Perkinson, D. (n.d.). CoCoA 4.0 Online Help .
Genova, Italy: Dept. of Mathematics - University
of Genova.
Roanes-Lozano, E., Laita, L. M., & Roanes-
Macías, E. (1998). A polynomial model for
multivalued logics with a touch of algebraic ge-
ometry and computer algebra. Mathematics and
Computers in Simulation, 45 (1), 83-99.
Laita, L. M., Roanes Lozano, E., & Alonso, J.
A. (Guest Eds.). (2004). Symbolic computation
in logic and artificial intelligence [Special Is-
sue]. RACSAM, Revista de la Real Academia de
Ciencias de España, Serie “A” Matemáticas,
98 (1-2).
Roanes-Lozano, E., Roanes-Macías, E., & L.M.
Laita. (2000). Railway interlocking systems and
Gröbner Bases. Mathematics and Computers in
Simulation, 51 (5), 473-481.
Marco, T. A. (2002). Historia de la música occi-
dental del siglo XX. Madrid, España: Alpuerto.
Roanes-Macías, E., & Roanes-Lozano, E. (2001).
Automatic determination of geometric loci. 3D-
extension of Simson-Steiner theorem. In J. A.
Campbell & E. Roanes Lozano (Eds.), Artificial
Intelligence and Symbolic Computation; Inter-
national Conference AISC 2000 . Revised Papers.
LNCS 1930 (pp.157-173). Berlin-Heidelberg,
Germany: Springer-Verlag.
Pfalzgraf, J. (2004). On logical fiberings and
automated deduction in many-valued logics us-
ing Gröbner Bases. RACSAM Revista de la Real
Academia de Ciencias, Serie A “matemáticas”,
98 (1-2), 213-228.
Pérez Carretero, C., Laita L. M., Roanes-Lozano,
E., & Laita, L. (2002). A logic and computer alge-
bra-based expert system for diagnosis of anorexia.
Mathematics and Computers in Simulation, 58 ,
183-202.
Zampronha, E. S. (2000). Notação, Represen-
tação e Composição: Um Novo Paradigma da
Escritura Musical. Lisboa, Portugal: Annab-
lume/FAPESP.
Search WWH ::




Custom Search