Área de investigación: Ciencia y Tecnologías Físicas, Matemáticas, Robótica y Computación

SEMantics, Proofs and Effective Reasoning

Integrantes: