PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Normann, Immanuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The OWL in the CASL - Designing Ontologies Across Logics.

, , , und . OWLED, Volume 432 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)

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.

Keine Personen gefunden für den Autorennamen Normann, Immanuel
Eine Person hinzufügen mit dem Namen Normann, Immanuel
 

Weitere Publikationen von Autoren mit dem selben Namen

An Ontological Approach to Creating an Andean Weaving Knowledge Base., , , , , und . JOCCH, 8 (2): 11:1-11:31 (2015)Spectrum of Pitch Differences Models the Perception of Octave Ambiguous Tones., , und . ICMC, Michigan Publishing, (2001)Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge., und . Calculemus/MKM, Volume 4573 von Lecture Notes in Computer Science, Seite 356-370. Springer, (2007)Automated Theory Interpretation.. Jacobs University, (2010)The OWL in the CASL - Designing Ontologies Across Logics., , , und . OWLED, Volume 432 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)Chinese whispers and connected alignments., , , und . OM, Volume 689 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)Proof Development with OMEGA., , , , , , , , , und 7 andere Autor(en). CADE, Volume 2392 von Lecture Notes in Computer Science, Seite 144-149. Springer, (2002)Enhanced Theorem Reuse by Partial Theory Inclusions.. AISC, Volume 4120 von Lecture Notes in Computer Science, Seite 40-52. Springer, (2006)