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

1999

  1. Computer algebra based verification and knowledge extraction in RES. Application to medical fitness criteria

    VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS

  2. Diagramas de Voronoi con funciones temporales

    VIII Encuentros de Geometría Computacional: Castelló de la Plana, España. (7-9 de julio de 1999)

  3. En torno a los primeros contactos documentados de Torres Quevedo sobre Aerostación

    Actas del III Simposio "Leonardo Torres Quevedo: su vida, su tiempo, su obra" : 24 a 28 de abril de 1995

  4. Geometric interpretation of strong inconsistency in knowledge based systems

    CASC'99: COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING

  5. La Bibliografía Científica de Torres Quevedo: actualización

    Actas del III Simposio "Leonardo Torres Quevedo: su vida, su tiempo, su obra" : 24 a 28 de abril de 1995

  6. La aritmética de las máquinas analíticas de Torres Quevedo y las usadas por los ordenadores actuales

    Actas del III Simposio "Leonardo Torres Quevedo: su vida, su tiempo, su obra" : 24 a 28 de abril de 1995

  7. Leonardo Torres Quevedo y la Sociedad Matemática Española

    Actas del III Simposio "Leonardo Torres Quevedo: su vida, su tiempo, su obra" : 24 a 28 de abril de 1995

  8. Lugares geométricos vía computacional

    VIII Encuentros de Geometría Computacional: Castelló de la Plana, España. (7-9 de julio de 1999)

  9. Multi-valued logics introducing propositional multi-valued logics with the help of a CAS

    RECENT DEVELOPMENTS IN COMPLEX ANALYSIS AND COMPUTER ALGEBRA

  10. Una primera aproximación a las relaciones entre Torres Quevedo y la Aerostación Naval española

    Actas del III Simposio "Leonardo Torres Quevedo: su vida, su tiempo, su obra" : 24 a 28 de abril de 1995

  11. Una propuesta didáctica para el enseñanza del concepto de enlace químico en secundaria

    La didáctica de las ciencias: tendencias actuales

  12. Una visita a Friedrichshafen, ciudad consagrada a la memoria de Zeppelin

    Actas del III Simposio "Leonardo Torres Quevedo: su vida, su tiempo, su obra" : 24 a 28 de abril de 1995