Instituto de Tecnología del Conocimiento (ITC)

1994

1. Ac-superposition with constraints: No AC-unifiers needed

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

2. Application of TINA-C architecture to management services

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

3. Compiling rewriting onto SIMD and MIMD/SIMD machines

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

4. Integración del análisis y mejora de la testabilidad en una herramienta de SAN

   Actas del IX Congreso de Diseño de Circuitos Integrados, 9, 10 y 11 de noviembre de 1994, Maspalomas, Gran Canaria

5. NUMERICAL SIMULATIONS AND PARALLEL IMPLEMENTATION OF SOME NONLINEAR SCHRODINGER SYSTEMS

   NONLINEAR COHERENT STRUCTURES IN PHYSICS AND BIOLOGY