CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Publikacje
Autorzy:
Haniková, Z., Manyà, F., Vidal, A
Opublikowane w:
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023. Lecture Notes in Computer Science, Numer vol 14278, 2023
Wydawca:
Springer, Cham
DOI:
10.1007/978-3-031-43513-3_21
Autorzy:
Li, C.M., Manyà, F., Soler, J.R, Vidal, A.
Opublikowane w:
International Journal of Computational Intelligence Systems, 2022, ISSN 1875-6883
Wydawca:
springer
DOI:
10.1007/s44196-022-00143-z
Autorzy:
Vidal, Amanda
Opublikowane w:
The Journal of Symbolic Logic, Numer 2, 2022, Strona(/y) 1576-1605, ISSN 1943-5886
Wydawca:
Cambridge University Press
DOI:
10.1017/jsl.2022.32
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników