( en | de | ru )

 

Disambiguation of "Benzmüller, Christoph"

Author of the publication

copydeleteadd this publication to your clipboard
Granularity-Adaptive Proof Presentation

, and . Artificial Intelligence in Education -- Building Learning Systems tat Care: From Knowledge Representation to Affective Modelling, 200, page 599--601. Amsterdam, IOS Press, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christoph Benzmüller

Karl Benzmüller

Christoph Eggert

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

Christoph Müller

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

Christoph Thiermann

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

Other publications of authors with the same name

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