10.22028/D291-25695
Fiedler, Armin
User-adaptive proof explanation
Benutzeradaptive Beweiserklaerung
Universität des Saarlandes
2001
Automatisches Beweisverfahren ; Präsentation ; Natürliche Sprache ; Dialogsystem ; Benutzermodell
004
Universität des Saarlandes
Universität des Saarlandes
2004-04-01
2017-07-12
2004-04-01
2001
2004-09-23
en
doctoralThesis
urn:nbn:de:bsz:291-scidok-1826
hdl:20.500.11880/25751