PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Iancu, Mihnea"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.

, , , , , , , , , und . CICM, Volume 9791 von Lecture Notes in Computer Science, Seite 117-131. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. Ana Lacrimioara Iancu University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics., und . CICM, Volume 9150 von Lecture Notes in Computer Science, Seite 137-152. Springer, (2015)The Mizar Mathematical Library in OMDoc: Translation and Applications., , , und . J. Autom. Reasoning, 50 (2): 191-202 (2013)The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics., , , , , , , , , und . ICMS, Volume 9725 von Lecture Notes in Computer Science, Seite 451-457. Springer, (2016)Formalising foundations of mathematics., und . Mathematical Structures in Computer Science, 21 (4): 883-911 (2011)System Description: MathHub.info., , , und . CICM, Volume 8543 von Lecture Notes in Computer Science, Seite 431-434. Springer, (2014)Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach., , , , , , , , , und . CICM, Volume 9791 von Lecture Notes in Computer Science, Seite 117-131. Springer, (2016)Math Literate Knowledge Management via Induced Material., und . CICM, Volume 9150 von Lecture Notes in Computer Science, Seite 187-202. Springer, (2015)Representing, Archiving, and Searching the Space of Mathematical Knowledge., , und . ICMS, Volume 8592 von Lecture Notes in Computer Science, Seite 26-30. Springer, (2014)Importing the OEIS Library Into OMDoc., , und . LWA, Volume 1458 von CEUR Workshop Proceedings, Seite 296-303. CEUR-WS.org, (2015)Management of Change in Declarative Languages., und . AISC/MKM/Calculemus, Volume 7362 von Lecture Notes in Computer Science, Seite 326-341. Springer, (2012)