( en | de | ru )

 

Disambiguierung von "Benzmüller, Christoph"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Sigma: An Integrated Development Environment for Formal Ontology

, und . AI Communications, 26 (1): 79-97 (2013)
DOI: 10.3233/AIC-120549

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.

Christoph Benzmüller

Karl Benzmüller

Christoph Müller

Der Einfluss von cis-Hydroxy-L-Prolin (CHP) auf die Pankreaskarzinom-Zelllinie DSL6A der Ratte. Uni Rostock, (2009)

Christoph Eggert

Synthese von Modellpolymeren für molekular verstärkte Ionomerblends und Werkstoffeigenschaften. Uni Stuttgart, (2009)

Christoph Thiermann

Grenzüberschreitende Verschmelzungen deutscher Gesellschaften: das Spannungsfeld zwischen Gesellschaftsrecht und Niederlassungsfreiheit des AEUV nach Cartesio. Uni Frankfurt Main, (2010)
 

Weitere Publikationen von Autoren mit dem selben Namen

Granularity-Adaptive Proof Presentation, und . Artificial Intelligence in Education -- Building Learning Systems tat Care: From Knowledge Representation to Affective Modelling, 200, Seite 599--601. Amsterdam, IOS Press, (2009)A Wizard of Oz Experiment for Tutorial Dialogues in Mathematics, , , , , , , , , und . Workshop on Tutorial Dialogue Systems: with a view toward the classroom, (20.07.2003)Resource-Adaptive Cognitive Processes, , und . Kapitel Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs, Seite 263 -- 283. Springer-Verlag Berlin Heidelberg, (2010)Sigma: An Integrated Development Environment for Formal Ontology, und . AI Communications, 26 (1): 79-97 (2013)Proof Granularity as an Empirical Problem?, und . Proc. Computer Science in Education (CSEDU), INSTICC Press, (2009)A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material, , , , , und . Proceedings of International Conference on Language Resources and Evaluation (LREC 2006), Genoa, Italy, ELDA, (2006)Proof Step analysis for proof tutoring -- a learning approach to granularity, , und . Teaching Mathematics and Computer Science., 6 (2): 325 -- 343 (2008)