- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Human-computer interaction / International Conference on Human Computer Interaction <5, 1993, Orlando, Fla.>. Amsterdam u.a., 1993
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Paderborn
- (who)
-
Universitätsbibliothek
- (when)
-
1993
- Creator
-
Szwillus, Gerd
- URN
-
urn:nbn:de:hbz:466:2-3854
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 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.
Associated
- Szwillus, Gerd
- Universitätsbibliothek
Time of origin
- 1993
Other Objects (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