Informática

1989

1. An algorithm on quasi-ordinary polynomials

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

2. Aplique 1,2,3: versión 3

   McGraw-Hill Interamericana de España

3. Computing with algebraic series

   Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

4. From Petri nets to linear logic

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

5. Hoare's logic for nondeterministic regular programs: A nonstandard approach

   Theoretical Computer Science, Vol. 68, Núm. 3, pp. 277-302

6. Laser-induced Nernst-Ettingshausen effect: Anomalous dependency on the magnetic field

   Physical Review B, Vol. 40, Núm. 12, pp. 8252-8255

7. Mizar/Log: una mplementación del sistema Mizar-Mse en un lenguaje de programación lógico

   Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988)

8. Neuroendocrine markers in Alzheimer's disease: New prospects for diagnosis and treatment

   Recent advances in basic and clinical neuroendocrinology: proceedings of the 4th Meeting of the European Neuroendocrine Association. ICS864

9. Nonlinear effects in the wave equation with a cubic restoring force

   Computational Mechanics, Vol. 5, Núm. 1, pp. 49-72

10. Robótica industrial: tecnología, programación y aplicaciones

    McGraw Hill España

11. Simulación de una máquina secuencial de programación lógica

    Revista de informática y automática, Año 22, Núm. 1, pp. 55-63

12. Specification and verification of TCSP systems by means of partial abstract data types

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

13. Study of the complexity of an algorithm to derive the complement of a binary function

    International Journal of Electronics, Vol. 66, Núm. 3, pp. 333-337

14. Turbo C: programación avanzada

    McGraw-Hill Interamericana de España

15. Un estudio de las funciones parciales en la lógica de primer orden

    Lenguajes naturales y lenguajes formales IV: vol 2. (Facultat de Filologia), pp. 629-644

16. Un estudio de las funciones parciales en la lógica de primer orden

    Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988)

17. Un estudio sobre la expresividad en lenguajes de programación funcionales

    Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988)

18. Un estudio sobre la expresividad en lenguajes de programación funcionales

    Lenguajes naturales y lenguajes formales IV: vol 2. (Facultat de Filologia), pp. 645-656

19. Un proyecto de desarrollo de un demostrador interactivo basado en MIZAR

    Lenguajes naturales y lenguajes formales IV: vol 2. (Facultat de Filologia), pp. 685-692

20. Un proyecto de desarrollo de un demostrador interactivo basado en Mizar

    Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988)