Instituto de Tecnología del Conocimiento (ITC)

1995

1. A second year course on data structures based on functional programming

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

2. Acceptance trees for probabilistic processes

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

3. Asociatividad en álgebras de procesos probabilísticas

   I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995

4. Extension orderings

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

5. From abstract data types to logical frameworks

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

6. Orderings, AC-theories and symbolic constraint solving

   Proceedings - Symposium on Logic in Computer Science

7. Promoting software reuse through explicit knowledge representations

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

8. TINA network resource model

   Conference Record / IEEE Global Telecommunications Conference

9. Tuning of Fuzzy Controllers: Application of the Relay Method

   EUROSIM '95 Simulation Congress