CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Publicaciones
Autores:
David Buhagiar and Mirna Dzamonja
Publicado en:
Annals of Pure and Applied Logic, Edición to appear, 2023, ISSN 0168-0072
Editor:
Elsevier BV
Autores:
Mirna Dzamonja, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson FRS
Publicado en:
Experimental Mathematics, Edición vol. 31 No. 2, 2022, Página(s) 383-400, ISSN 1058-6458
Editor:
A K Peters Ltd.
DOI:
10.1080/10586458.2021.1980464
Autores:
Mirna Džamonja, Ivan Tomašić
Publicado en:
Colloquium Mathematicum, Edición vol. 169 No. 2, 2022, Página(s) 269-306, ISSN 0010-1354
Editor:
Institute of Mathematics, Polish Academy of Sciences
DOI:
10.4064/cm8395-1-2022
Autores:
Dana Bartosova, Mirna Dzamonja, Rehana Patel and Lynn Scow
Publicado en:
Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Editor:
Elsevier BV
Autores:
Mirna Dzamonja
Publicado en:
Handbook of the History and Philosophy of Mathematical Practice, 2023
Editor:
Springer Cham
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles