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

1985

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

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

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

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