Aportaciones congreso (9) Publicaciones en las que ha participado algún/a investigador/a

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. Computing with algebraic series

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

  3. From Petri nets to linear logic

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

  4. 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)

  5. 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

  6. 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)

  7. 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)

  8. 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)

  9. 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)