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:
David Buhagiar and Mirna Dzamonja
Opublikowane w:
Annals of Pure and Applied Logic, Numer to appear, 2023, ISSN 0168-0072
Wydawca:
Elsevier BV
Autorzy:
Mirna Dzamonja, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson FRS
Opublikowane w:
Experimental Mathematics, Numer vol. 31 No. 2, 2022, Strona(/y) 383-400, ISSN 1058-6458
Wydawca:
A K Peters Ltd.
DOI:
10.1080/10586458.2021.1980464
Autorzy:
Mirna Džamonja, Ivan Tomašić
Opublikowane w:
Colloquium Mathematicum, Numer vol. 169 No. 2, 2022, Strona(/y) 269-306, ISSN 0010-1354
Wydawca:
Institute of Mathematics, Polish Academy of Sciences
DOI:
10.4064/cm8395-1-2022
Autorzy:
Dana Bartosova, Mirna Dzamonja, Rehana Patel and Lynn Scow
Opublikowane w:
Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Wydawca:
Elsevier BV
Autorzy:
Mirna Dzamonja
Opublikowane w:
Handbook of the History and Philosophy of Mathematical Practice, 2023
Wydawca:
Springer Cham
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników