CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Publicaciones
Autores:
Haniková, Z., Manyà, F., Vidal, A
Publicado en:
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023. Lecture Notes in Computer Science, Edición vol 14278, 2023
Editor:
Springer, Cham
DOI:
10.1007/978-3-031-43513-3_21
Autores:
Li, C.M., Manyà, F., Soler, J.R, Vidal, A.
Publicado en:
International Journal of Computational Intelligence Systems, 2022, ISSN 1875-6883
Editor:
springer
DOI:
10.1007/s44196-022-00143-z
Autores:
Vidal, Amanda
Publicado en:
The Journal of Symbolic Logic, Edición 2, 2022, Página(s) 1576-1605, ISSN 1943-5886
Editor:
Cambridge University Press
DOI:
10.1017/jsl.2022.32
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles