- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Univ., Diss., 2001
- Classification
-
Informatik
- Keyword
-
Automatisches Beweisverfahren
Präsentation
Natürliche Sprache
Dialogsystem
Benutzermodell
Automatisches Beweisverfahren ; Präsentation ; Natürliche Sprache ; Dialogsystem ; Benutzermodell
- Creator
-
Fiedler, Armin
- URN
-
urn:nbn:de:bsz:291-scidok-1826
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 PM CET
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.
Object type
- Hochschulschrift
- Online-Publikation
Associated
- Fiedler, Armin
Other Objects (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 Strahlungstransmission von Verglasungen mit Flüssigkristallen
Kompakte Mehrtorantennen für die adaptive Keulenformung
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 Strahlungstransmission von Verglasungen mit Flüssigkristallen
Kompakte Mehrtorantennen für die adaptive Keulenformung
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 Strahlungstransmission von Verglasungen mit Flüssigkristallen