Students' language in computer-assisted tutoring of mathematical proofs

Saarbrücken: Universaar (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.54.W66 2015

ISBN(s)

9783862231119

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proof Step Analysis for Proof Tutoring -- A Learning Approach to Granularity.Marvin Schiller, Dominik Dietrich & Christoph Benzmüller - 2008 - Teaching Mathematics and Computer Science 6 (2):325-343.
Mathematics Intelligent Tutoring System.Nour N. AbuEloun & Samy S. Abu Naser - 2017 - International Journal of Advanced Scientific Research 2 (1):11-16.
Intelligent tutoring system for mathematics.Nour Eloun & Suheir Elmurshidi - 2017 - International Journal of Advanced Scientific Research 2 (1):11-16.
An Intelligent Tutoring System for Learning Introduction to Computer Science.Ahmad Marouf, Mohammed K. Abu Yousef, Mohammed N. Mukhaimer & Samy S. Abu-Naser - 2018 - International Journal of Academic Multidisciplinary Research (IJAMR) 2 (2):1-8.
ITS for Teaching Introduction to CS.Ahmed Maarouf, Mohammed Yousef & Mohammed Khaimer - 2017 - International Journal of Academic Multidisciplinary Research (IJAMR) 2 (2):1-8.
An intelligent tutoring system for teaching advanced topics in information security.Ali O. Mahdi, Mohammed I. Alhabbash & Samy S. Abu Naser - 2016 - World Wide Journal of Multidisciplinary Research and Development 2 (12):1-9.
Learning Computer Networks Using Intelligent Tutoring System.Mones M. Al-Hanjori, Mohammed Z. Shaath & Samy S. Abu Naser - 2017 - International Journal of Advanced Research and Development 2 (1).
Natural Language Dialog with a Tutor System for Mathematical Proofs.Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann & Magdalena Wolska - 2007 - In Ruqian Lu, Jörg Siekmann & Carsten Ullrich (eds.), Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers. Springer. pp. 1-14.
ITS for Learning computer networks.Monnes Hanjory & Mohammed Z. Shath - 2017 - International Journal of Advanced Research and Development 2 (1):74-78.
An ITS for Teaching Introduction to Computer Science.Ahmad Maruf, Mohammed Yousef, Mohammed Khaimer & Rafiq Madhoun - 2015 - International Journal of Academic Multidisciplinary Research (IJAMR) 2 (2):1-8.

Analytics

Added to PP
2022-12-16

Downloads
14 (#1,019,789)

6 months
9 (#355,272)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references