An Expert System Devoted to Automated Music Identification and Recognition - Intelligent Music Information Systems: Tools and Methodologies - page 101

the Congress on Computational Geometry and
Topology and Computation (pp.15-24). Seville,
Spain: Universidad de Sevilla.

y Estilos en Música Culta . Unpublished doctoral
dissertation, Universidad de Alcalá, España.

Fernández de Sevilla, M. A., & Fernández del
Castillo, J. R. (2002). Estudio Comparativo de
editores musicales utilizando técnicas fuzzy. Base
Informática, 38 , 58-64.

Balaban, M., Ebcioglu, K., & Laske, O. (1992).
Understanding music with AI. Perspectives on
music cognition . Boston: The MIT Press.

Buchberger, B. (1965). An algorithm for finding a
basis for the residue class ring of a zero-dimen-
sional polynomial ideal . Unpublished doctoral
disseration. Insbruck, Austria: Math. Institute
- University of Innsbruck.

Fernández de Sevilla, M. A., & Gutiérrez de
Mesa, J. A. (2002). El software musical y su
aplicación a la enseñanza de la música. PCWorld,
7, 194-202.

Fernández de Sevilla, M. A., & Hilera, J. R.
(2001). Conservación y restauración del patri-
monio musical. Cuadernos de Documentación
multimedia, 8, 25-26.

Buchberger, B. (1988). Applications of Gröbner
Bases in non-linear computational geometry. In J.
R. Rice (Ed.), Mathematical aspects of scientific
software . IMA Vol. 14 (pp. 60-88). New York:
Springer-Verlag.

Fernández de Sevilla, M. A., Jiménez, L., &
Fernández del Castillo, J. R. (2003). Tool selection
under uncertainty by fuzzy aggregation operators.
In Proceedings of AGOP2003 (pp 67-72). Alcalá
de Henares, España: Universidad de Alcalá.

Capani, A., & Niesi, G. (1996). CoCoA user's
manual v. 3.0b . Genova, Italy: Dept. of Mathemat-
ics, University of Genova.

Chazarain, J., Riscos, A., Alonso, J. A., & Briales,
E. (1991). Multivalued logic and Gröbner Bases
with applications to modal logic. Journal of
Symbolic Computation, 11 , 181-194.

Groutald, D. J., & Palisca, C. V. (2004). Historia
de la música occidental I, II. Madrid: Alianza
Editorial.

Hsiang, J. (1985). Refutational theorem proving
using term-rewriting systems. Artificial Intel-
ligence, 25 , 255-300.

Clegg, M., Edmonds, J., & Impagliazzo, R. (1996).
Using the Groebner basis algorithm to find proofs
of unsatisfiability. In Proceedings of the twenty-
eighth annual ACM Symposium on Theory of
Computing . Philadelphia.

Kapur, D., & Narendran, P. (1984). An equational
approach to theorem proving in first-order predi-
cate calculus (Rep. No. 84CRD296). Schenectady,
NY: General Electric Corporate Research and
Development.

Cox, D., Little, J., & O'Shea, D. (1992). Ideals,
varieties, and algorithms . New York: Springer-
Verlag.

Kreuzer, M., & Robbiano, L. (2000). Computa-
tional commutative algebra . Berlin - Heidelge-
berg, Germany: Springer-Verlag.

Fernández de Sevilla, M. A. (2001). Desarrollo
musical por medio de técnicas informáticas. Doce
Notas, 28, 25-26.

Laita, L. M., Roanes-Lozano, E., de Ledesma,
L., & Alonso, J. A. (1999). A computer algebra
approach to verification and deduction in many-
valued knowledge systems. Soft Computing,
3 (1), 7-19.

Fernández de Sevilla, M. A. (2002). Informática
musical al servicio de la formación de profesio-
nales. Música y Educación, 49 , 69-81.

Fernández de Sevilla, M. A. (2005). Sistema
Computacional para reconocimiento de Actitudes