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:
David Buhagiar and Mirna Dzamonja
Veröffentlicht in:
Annals of Pure and Applied Logic, Ausgabe to appear, 2023, ISSN 0168-0072
Herausgeber:
Elsevier BV
Autoren:
Mirna Dzamonja, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson FRS
Veröffentlicht in:
Experimental Mathematics, Ausgabe vol. 31 No. 2, 2022, Seite(n) 383-400, ISSN 1058-6458
Herausgeber:
A K Peters Ltd.
DOI:
10.1080/10586458.2021.1980464
Autoren:
Mirna Džamonja, Ivan Tomašić
Veröffentlicht in:
Colloquium Mathematicum, Ausgabe vol. 169 No. 2, 2022, Seite(n) 269-306, ISSN 0010-1354
Herausgeber:
Institute of Mathematics, Polish Academy of Sciences
DOI:
10.4064/cm8395-1-2022
Autoren:
Dana Bartosova, Mirna Dzamonja, Rehana Patel and Lynn Scow
Veröffentlicht in:
Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Herausgeber:
Elsevier BV
Autoren:
Mirna Dzamonja
Veröffentlicht in:
Handbook of the History and Philosophy of Mathematical Practice, 2023
Herausgeber:
Springer Cham
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor