CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Veröffentlichungen
Autoren:
Haniková, Z., Manyà, F., Vidal, A
Veröffentlicht in:
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023. Lecture Notes in Computer Science, Ausgabe vol 14278, 2023
Herausgeber:
Springer, Cham
DOI:
10.1007/978-3-031-43513-3_21
Autoren:
Li, C.M., Manyà, F., Soler, J.R, Vidal, A.
Veröffentlicht in:
International Journal of Computational Intelligence Systems, 2022, ISSN 1875-6883
Herausgeber:
springer
DOI:
10.1007/s44196-022-00143-z
Autoren:
Vidal, Amanda
Veröffentlicht in:
The Journal of Symbolic Logic, Ausgabe 2, 2022, Seite(n) 1576-1605, ISSN 1943-5886
Herausgeber:
Cambridge University Press
DOI:
10.1017/jsl.2022.32
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor