Explora I+D+i UPV

Volver atrás Proyecto

EUROPEAN RESEARCH NETWORK ON FORMAL PROOFS

Institut Universitari Valencià d'investigació en Intel·ligència Artificial

Compartir
Año de inicio

2022

Organismo financiador

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMAT

Tipo de proyecto

RELACIÓN C. Y T. INTERNAC. COMPETIT.

Responsable científico

Villanueva García Alicia

Más resultados en Institut Universitari Valencià d'investigació en Intel·ligència Artificial con la cadena de busqueda "Bioinformática"

  • Servicios de I+D

    Desarrollo de herramientas informáticas para la gestión y...

    Institut Universitari Valencià d'investigació en Intel·ligència Artificial

  • Líneas de investigación

    IA en la bioinformática y en las ciencias biomédicas

    Institut Universitari Valencià d'investigació en Intel·ligència Artificial

  • Líneas de investigación

    Sistemas de información genómica (SIG)

    Institut Universitari Valencià d'investigació en Intel·ligència Artificial

  • Software

    DIAGEN: Plataforma software para la ayuda al diagnóstico ...

    Institut Universitari Valencià d'investigació en Intel·ligència Artificial

  • Proyectos

    APLICACION DE TECNICAS DE INFERENCIA GRAMATICAL A LA BIOI...

    Institut Universitari Valencià d'investigació en Intel·ligència Artificial

  • Proyectos

    APLICACION DE TECNICAS DE INFERENCIA GRAMATICAL A LA BIOI...

    Institut Universitari Valencià d'investigació en Intel·ligència Artificial