CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.
I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .
Pubblicazioni
Autori:
Haniková, Z., Manyà, F., Vidal, A
Pubblicato in:
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023. Lecture Notes in Computer Science, Numero vol 14278, 2023
Editore:
Springer, Cham
DOI:
10.1007/978-3-031-43513-3_21
Autori:
Li, C.M., Manyà, F., Soler, J.R, Vidal, A.
Pubblicato in:
International Journal of Computational Intelligence Systems, 2022, ISSN 1875-6883
Editore:
springer
DOI:
10.1007/s44196-022-00143-z
Autori:
Vidal, Amanda
Pubblicato in:
The Journal of Symbolic Logic, Numero 2, 2022, Pagina/e 1576-1605, ISSN 1943-5886
Editore:
Cambridge University Press
DOI:
10.1017/jsl.2022.32
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile