Instituto de Tecnología del Conocimiento (ITC)

1996

1. A recursive path ordering for higher-order terms in η-long β-normal form

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2. Between fuzzy-PID and PID-conventional controllers: a good choice

   Biennial Conference of the North American Fuzzy Information Processing Society - NAFIPS

3. Fuzzy-PID controllers vs. fuzzy-PI controllers

   IEEE International Conference on Fuzzy Systems

4. Influence of the Information Processing in Fuzzy Logic Controllers

   Sixth International Conference IPMU : Information Processing and Management of Uncertainty in Knowledge-Based Systems: Proceedings, july 1-5, Granada, España

5. New look at pattern matching in abstract data types

   Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

6. Nuevas herramientas educativas: sistema integral de prácticas de laboratorio asistidas por computador

   Memorias: III Congreso Iberoamericano de Informática Educativa : Barranquilla, 8 al 11 [de julio] de 1996

7. Supporting object reuse through case-based reasoning

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

8. Theorem proving modulo associativity

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

9. Tuning fuzzy logic controllers by classical techniques

   Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

10. Un sistema de recuperación de componentes software basado en técnicas de indexación automática y la información de una base de datos léxica

    II Jornadas de informática. Actas: Almuñécar (Granada), 15 al 19 de julio 1996