Informática

1985

1. Dirac field on a Minkowski lattice

   Physical Review D, Vol. 32, Núm. 8, pp. 2066-2069

2. Hoare's logic for nondeterministic regular programs: A nonstandard completeness theorem

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

3. Informática: glosario de términos y siglas : diccionario inglés-español, español-inglés

   McGraw Hill España

4. LOGO para Apple II

   Madrid [etc. : La Colina, D.L. 1985

5. MAINTENANCE OF FUNCTIONAL-DEPENDENCIES AS INTERRELATIONAL RESTRICTIONS

   REVISTA DE INFORMATICA Y AUTOMATICA, pp. 36-41

6. Mantenimiento de dependencias funcionales como restricciobnes interrelacionales

   Revista de informática y automática, Año 18, Núm. 63, pp. 36-41

7. On orderings in real surfaces

   Journal of Pure and Applied Algebra, Vol. 36, Núm. C, pp. 1-14

8. Pascal avanzado: técnicas de programación

   McGraw-Hill Interamericana de España

9. Programación automática

   Revista de informática y automática, Año 18, Núm. 63, pp. 7-20

10. Sine-Gordon solitons in the presence of a noisy potential

    Physica D: Nonlinear Phenomena, Vol. 14, Núm. 2, pp. 273-276

11. Sine-Gordon solitons under weak stochastic perturbations

    Physical Review B, Vol. 32, Núm. 12, pp. 8305-8311

12. Sistemas Informáticos, Sistemas Inteligentes y Sistemas Expertos

    Jornadas de Inteligencia Artificial, Madrid, 25 a 27 de junio 1985

13. Sistemas expertos con base de conocimientos de esquemas de programa: aplicación a la producción de software educativo

    Jornadas de Inteligencia Artificial, Madrid, 25 a 27 de junio 1985

14. Un método de reutilización de software basado en esquemas de programas

    Revista de informática y automática, Año 18, Núm. 64, pp. 43-48