- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Saarbrücken Dissertations in Language Science and Technology ; 40
- Keyword
-
Mathematikstudent
Beweis
Intelligentes Tutorsystem
Fachsprache
Korpus
Künstliche Intelligenz ; Natürliche Sprache ; Beweis ; Mathematik
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
universaar, Universitätsverlag des Saarlandes
- (when)
-
2015
- Creator
- URN
-
urn:nbn:de:bsz:291-universaar-1117
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
22.04.2025, 2:48 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Wolska, Magdalena
- Universität des Saarlandes. universaar - Universitätsverlag des Saarlandes
- universaar, Universitätsverlag des Saarlandes
Time of origin
- 2015
Other Objects (12)
Students' language in computer-assisted tutoring of mathematical proofs
Granularity analysis for tutoring mathematical proofs
Tutoring Systems and Computer-Assisted Language Learning (CALL)
Tutoring Systems and Computer-Assisted Language Learning (CALL)
Computer-assisted Multiplicity Proofs for Emden's Equation on Domains with Hole
Algebraic and numerical algorithms and computer-assisted proofs : 05391 abstracts collection ; Dagstuhl seminar
Numerical and algebraic algorithms and computer-assisted proofs : 05391 executive summary ; Dagstuhl seminar
Computer-Assisted Content Analysis
Computer-Assisted Content Analysis
Computer-assisted Existence Proofs for Navier-Stokes Equations on an Unbounded Strip with Obstacle
Intelligent Computer-assisted Process Mining
A computer-assisted chromatography system
Students' language in computer-assisted tutoring of mathematical proofs
Granularity analysis for tutoring mathematical proofs
Tutoring Systems and Computer-Assisted Language Learning (CALL)
Tutoring Systems and Computer-Assisted Language Learning (CALL)
Computer-assisted Multiplicity Proofs for Emden's Equation on Domains with Hole
Algebraic and numerical algorithms and computer-assisted proofs : 05391 abstracts collection ; Dagstuhl seminar
Numerical and algebraic algorithms and computer-assisted proofs : 05391 executive summary ; Dagstuhl seminar
Computer-Assisted Content Analysis
Computer-Assisted Content Analysis
Computer-assisted Existence Proofs for Navier-Stokes Equations on an Unbounded Strip with Obstacle
Intelligent Computer-assisted Process Mining
A computer-assisted chromatography system
Students' language in computer-assisted tutoring of mathematical proofs
Granularity analysis for tutoring mathematical proofs
Tutoring Systems and Computer-Assisted Language Learning (CALL)
Tutoring Systems and Computer-Assisted Language Learning (CALL)
Computer-assisted Multiplicity Proofs for Emden's Equation on Domains with Hole
Algebraic and numerical algorithms and computer-assisted proofs : 05391 abstracts collection ; Dagstuhl seminar
Numerical and algebraic algorithms and computer-assisted proofs : 05391 executive summary ; Dagstuhl seminar
Computer-Assisted Content Analysis
Computer-Assisted Content Analysis
Computer-assisted Existence Proofs for Navier-Stokes Equations on an Unbounded Strip with Obstacle
Intelligent Computer-assisted Process Mining