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:
David Buhagiar and Mirna Dzamonja
Pubblicato in:
Annals of Pure and Applied Logic, Numero to appear, 2023, ISSN 0168-0072
Editore:
Elsevier BV
Autori:
Mirna Dzamonja, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson FRS
Pubblicato in:
Experimental Mathematics, Numero vol. 31 No. 2, 2022, Pagina/e 383-400, ISSN 1058-6458
Editore:
A K Peters Ltd.
DOI:
10.1080/10586458.2021.1980464
Autori:
Mirna Džamonja, Ivan Tomašić
Pubblicato in:
Colloquium Mathematicum, Numero vol. 169 No. 2, 2022, Pagina/e 269-306, ISSN 0010-1354
Editore:
Institute of Mathematics, Polish Academy of Sciences
DOI:
10.4064/cm8395-1-2022
Autori:
Dana Bartosova, Mirna Dzamonja, Rehana Patel and Lynn Scow
Pubblicato in:
Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Editore:
Elsevier BV
Autori:
Mirna Dzamonja
Pubblicato in:
Handbook of the History and Philosophy of Mathematical Practice, 2023
Editore:
Springer Cham
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile