- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Human-computer interaction / International Conference on Human Computer Interaction <5, 1993, Orlando, Fla.>. Amsterdam u.a., 1993
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Paderborn
- (wer)
-
Universitätsbibliothek
- (wann)
-
1993
- Urheber
-
Szwillus, Gerd
- URN
-
urn:nbn:de:hbz:466:2-3854
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:53 MEZ
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.
Beteiligte
- Szwillus, Gerd
- Universitätsbibliothek
Entstanden
- 1993
Ähnliche Objekte (12)
Constraint solving for verification
Geometric constraint solving and applications
Modern constraint answer set solving
Constraint-based graphical layout of multimodal presentations
Efficient Constraint Solving in Dynamic Languages
Parallel constraint solving for combinatorial problems
Logic-based 0-1 constraint solving in constraint logic programming
Preference based problem solving for constraint programming
Solving timetable problem with constraint satisfaction method
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming
Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic
Constraint solving for verification
Geometric constraint solving and applications
Modern constraint answer set solving
Constraint-based graphical layout of multimodal presentations
Efficient Constraint Solving in Dynamic Languages
Parallel constraint solving for combinatorial problems
Logic-based 0-1 constraint solving in constraint logic programming
Preference based problem solving for constraint programming
Solving timetable problem with constraint satisfaction method
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming
Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic
Constraint solving for verification
Geometric constraint solving and applications
Modern constraint answer set solving
Constraint-based graphical layout of multimodal presentations
Efficient Constraint Solving in Dynamic Languages
Parallel constraint solving for combinatorial problems
Logic-based 0-1 constraint solving in constraint logic programming
Preference based problem solving for constraint programming
Solving timetable problem with constraint satisfaction method
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming