Centro/Instituto
Instituto de Tecnología del Conocimiento (ITC)
Aportaciones congreso (9) Publicaciones en las que ha participado algún/a investigador/a
1996
-
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)
-
Between fuzzy-PID and PID-conventional controllers: a good choice
Biennial Conference of the North American Fuzzy Information Processing Society - NAFIPS
-
Fuzzy-PID controllers vs. fuzzy-PI controllers
IEEE International Conference on Fuzzy Systems
-
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
-
New look at pattern matching in abstract data types
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
-
Supporting object reuse through case-based reasoning
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Theorem proving modulo associativity
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Tuning fuzzy logic controllers by classical techniques
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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