Faculty
Informática
Publications (14) Publications in which a researcher has participated
1985
-
Dirac field on a Minkowski lattice
Physical Review D, Vol. 32, Núm. 8, pp. 2066-2069
-
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)
-
Informática: glosario de términos y siglas : diccionario inglés-español, español-inglés
McGraw Hill España
-
LOGO para Apple II
Madrid [etc. : La Colina, D.L. 1985
-
MAINTENANCE OF FUNCTIONAL-DEPENDENCIES AS INTERRELATIONAL RESTRICTIONS
REVISTA DE INFORMATICA Y AUTOMATICA, pp. 36-41
-
Mantenimiento de dependencias funcionales como restricciobnes interrelacionales
Revista de informática y automática, Año 18, Núm. 63, pp. 36-41
-
On orderings in real surfaces
Journal of Pure and Applied Algebra, Vol. 36, Núm. C, pp. 1-14
-
Pascal avanzado: técnicas de programación
McGraw-Hill Interamericana de España
-
Programación automática
Revista de informática y automática, Año 18, Núm. 63, pp. 7-20
-
Sine-Gordon solitons in the presence of a noisy potential
Physica D: Nonlinear Phenomena, Vol. 14, Núm. 2, pp. 273-276
-
Sine-Gordon solitons under weak stochastic perturbations
Physical Review B, Vol. 32, Núm. 12, pp. 8305-8311
-
Sistemas Informáticos, Sistemas Inteligentes y Sistemas Expertos
Jornadas de Inteligencia Artificial, Madrid, 25 a 27 de junio 1985
-
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
-
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