- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Univ., Diss., 2001
- Klassifikation
-
Informatik
- Schlagwort
-
Automatisches Beweisverfahren
Präsentation
Natürliche Sprache
Dialogsystem
Benutzermodell
Automatisches Beweisverfahren ; Präsentation ; Natürliche Sprache ; Dialogsystem ; Benutzermodell
- Urheber
-
Fiedler, Armin
- URN
-
urn:nbn:de:bsz:291-scidok-1826
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:40 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
- Online-Publikation
Beteiligte
- Fiedler, Armin
Ähnliche Objekte (12)
User-adaptive proof explanation
Adaptive spatial filters for electromagnetic brain imaging
Adaptive techniques for mixed signal system on chip
Performance of adaptive satellite antenna array processing and comparison with optimal multi-user communications
Inducing conceptual user models
Evaluation of adaptive systems
Action theory and cognitive psychology in industrial design : user models and user interfaces
Isabelle, Isar - a versatile environment for human readable formal proof documents
Tangible user interfaces als kooperationsunterstützendes Medium
Nichtlineare adaptive Regelung eines unbemannten Fluggerätes
Adaptive estimation for financial time series
Adaptive Strahlungstransmission von Verglasungen mit Flüssigkristallen
User-adaptive proof explanation
Adaptive spatial filters for electromagnetic brain imaging
Adaptive techniques for mixed signal system on chip
Performance of adaptive satellite antenna array processing and comparison with optimal multi-user communications
Inducing conceptual user models
Evaluation of adaptive systems
Action theory and cognitive psychology in industrial design : user models and user interfaces
Isabelle, Isar - a versatile environment for human readable formal proof documents
Tangible user interfaces als kooperationsunterstützendes Medium
Nichtlineare adaptive Regelung eines unbemannten Fluggerätes
Adaptive estimation for financial time series
Adaptive Strahlungstransmission von Verglasungen mit Flüssigkristallen
User-adaptive proof explanation
Adaptive spatial filters for electromagnetic brain imaging
Adaptive techniques for mixed signal system on chip
Performance of adaptive satellite antenna array processing and comparison with optimal multi-user communications
Inducing conceptual user models
Evaluation of adaptive systems
Action theory and cognitive psychology in industrial design : user models and user interfaces
Isabelle, Isar - a versatile environment for human readable formal proof documents
Tangible user interfaces als kooperationsunterstützendes Medium
Nichtlineare adaptive Regelung eines unbemannten Fluggerätes
Adaptive estimation for financial time series