CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Publications
Auteurs:
Haniková, Z., Manyà, F., Vidal, A
Publié dans:
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023. Lecture Notes in Computer Science, Numéro vol 14278, 2023
Éditeur:
Springer, Cham
DOI:
10.1007/978-3-031-43513-3_21
Auteurs:
Li, C.M., Manyà, F., Soler, J.R, Vidal, A.
Publié dans:
International Journal of Computational Intelligence Systems, 2022, ISSN 1875-6883
Éditeur:
springer
DOI:
10.1007/s44196-022-00143-z
Auteurs:
Vidal, Amanda
Publié dans:
The Journal of Symbolic Logic, Numéro 2, 2022, Page(s) 1576-1605, ISSN 1943-5886
Éditeur:
Cambridge University Press
DOI:
10.1017/jsl.2022.32
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible